Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
Nashville, TN
Joined January 2008
- Tweets336
- Following3.6K
- Followers645
- Likes1.4K
Taylor T Johnson retweeted
New Article: "ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations" by Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, and Waseem Abbas jair.org/index.php/jair/arti…
Taylor T Johnson retweeted
New Article: "Towards Verified and Targeted Explanations through Formal Methods" by Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma jair.org/index.php/jair/arti…
Taylor T Johnson retweeted
We are hiring! The Vanderbilt University Department of Computer Science invites applications for tenure-track and tenured faculty positions at all ranks.
📘 Position: Tenure-Track/Tenured Professor (All Ranks)
🌐 Apply here: apply.interfolio.com/177153
Taylor T Johnson retweeted
Do you work with automated, semi-autonomous, or fully autonomous systems?
Then submit your paper to our workshop!
Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: buff.ly/VZaDX0m
#FMAS2025
Taylor T Johnson retweeted
The first-ever best paper award winner of #FMAS2024 "Formalizing Stateful Behavior Trees" is being presented by @taylorjohnson.
Taylor T Johnson retweeted
The FMAS Best Paper award was announced at #FMAS2024 dinner. Congratulations to Serena Serbinowska, Preston Robinette, Gabor Karsai, and @taylorjohnson for "Formalizing Stateful Behavior Trees." For more details, attend the #FMAS2024 and #iFM2024 session today at 11:30 (GMT).
Taylor T Johnson retweeted
The invited talks from #FMAS2022 are on the @FormalMtds YouTube Channel: youtube.com/playlist?list=PL…
* "Common Ground in Moral Norms" by Prof. Marija Slavkovik @AandVNetwork
* "Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems" by @taylorjohnson
Taylor T Johnson retweeted
Vanderbilt is establishing a transformative college dedicated to computer science, AI, data science and related fields.
The new college will collaborate with all VU schools and colleges to boost computing education and support extraordinary breakthroughs. news.vanderbilt.edu/2024/03/…
Taylor T Johnson retweeted
Just in: @VanderbiltU's School of Engineering is waiving its application fee requirement for Ph.D. admission in Summer/Fall 2024 and Spring 2025. Also note that GRE scores are not required for these programs. Learn more: vu.edu/phd-fee-waived
Taylor T Johnson retweeted
If you're wondering what sort of work #FMAS2023 is interested in, you can take a look at our two invited talks from #FMAS2022 on the @FormalMtds Youtube channel:
youtube.com/playlist?list=PL…
Delivered by the wonderful @MSlavkovik and @taylorjohnson
Taylor T Johnson retweeted
#FMAS2023 will be held @iFMconf this year on the 15th and 16th of November 2023, crossing over with the final day of #ifm23
Deadline: 17th of August 2023 (Anywhere on Earth)
We are interested in #FormalMethods applied to almost any kind of autonomous system!
#ifm2023
Taylor T Johnson retweeted
Call for research participants! 📢 We are conducting a remote research study on social media and online safety with #teens (13-18 years old) anywhere in the US! Interested participants can sign up here: vusequaltrics.qualtrics.com/…
Taylor T Johnson retweeted
✨ Applications are now open for the Institute for Software-Integrated Systems' Summer Internship Program. ✨
This paid summer internship runs May 30- Aug. 4, 2023, and is open to current undergraduate and graduate students. Applications are due March 3rd.
cps-vo.org/group/isis/intern…
Taylor T Johnson retweeted
🔵 #InvitedTalk
🗣️ @taylorjohnson, from @Vanderbilt_CS @VanderbiltU
📅 Tomorrow, Dec. 15th
⏰ 11:00
🔎 “Formal Verification of Neural Networks in Autonomous Cyber-Physical Systems”
📍Mountain View meeting room 302 - #IMDEASoftware
🔴 LIVE on ➡️ zoom.us/j/3911012202
🔐@s3
Taylor T Johnson retweeted
Congrats to Dr. Xiaodong Yang, a Computer Science Ph.D. grad now with @Visa Research's Trustworthy AI team, for the Best Artifact Evaluation Award on "Neural Network Repair with Reachability Analysis" at 20th International Conference on Formal Modeling & Analysis of Timed Systems
Taylor T Johnson retweeted
Session 7 at #SEFM22 focussing on Temporal Logic.
First up is "BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees"
By
Bernard Serbinowski & @taylorjohnson
URL: link.springer.com/chapter/10…
Tool: github.com/verivital/behaver…
@sefm_conf @verivital
Taylor T Johnson retweeted
As AI/ML systems take hold in medicine, how can we ensure accountability/equity?
@Vanderbilt_CS faculty member @dc_moyer is helping organize a free virtual workshop on Fairness+Medical Imaging.
Details: faimi-workshop.github.io/202…
#Artificial_Intelligence #MachineLearning #medicine
Taylor T Johnson retweeted
The third (and final) invited talk on Day Three of #SEFM22
"Towards Verifying Neural-symbolic Multi-agent Systems"
By Alessio Lomuscio
@sefm_conf
#FormalMethods #MultiAgentSystems
Taylor T Johnson retweeted
This session's final talk is
"Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning"
By
Nathaniel Hamilton, Preston K Robinette and @taylorjohnson
URL: link.springer.com/chapter/10…
#SEFM22 @sefm_conf
ALT Preston Robinette begins her presentation at an academic conference, her slides are projected on the wall behind her, and rows of people sot and watch.
Taylor T Johnson retweeted
@FmasWorkshop accepted papers are listed on fmasworkshop.github.io/FMAS2…. We look forward to invited talks from @MSlavkovik and @taylorjohnson. @MattLuckcuck and I thank our PC for their hard work and continued support. #autonomoussystems #verification #formalmethods