Taylor T Johnson
@taylorjohnson
Followers
656
Following
1K
Statuses
330
Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE, he/him
Nashville, TN
Joined January 2008
RT @FmasWorkshop: The first-ever best paper award winner of #FMAS2024 "Formalizing Stateful Behavior Trees" is being presented by @taylorjo…
0
2
0
RT @FmasWorkshop: The FMAS Best Paper award was announced at #FMAS2024 dinner. Congratulations to Serena Serbinowska, Preston Robinette, Ga…
0
3
0
RT @FmasWorkshop: The invited talks from #FMAS2022 are on the @FormalMtds YouTube Channel: * "Common Ground in Mor…
0
5
0
Upcoming College of Connected Computing at Vanderbilt!
Vanderbilt to establish a college dedicated to computing, AI and data science
1
0
9
RT @VanderbiltU: Vanderbilt is establishing a transformative college dedicated to computer science, AI, data science and related fields. T…
0
30
0
Final call for participation in 5th International Verification of Neural Networks Competition (VNN-COMP'24) to be held with 36th International Conference on Computer Aided Verification @confCAV and Symposium on AI Verification (SAIV)! Website:
0
1
7
RT @VUEngineering: Just in: @VanderbiltU's School of Engineering is waiving its application fee requirement for Ph.D. admission in Summer/F…
0
15
0
0
0
0
@Mitrasayn @confCAV @verivital @VUEngineering Likewise enjoyed your presentation and great to catch up, had been far too long! I will share photos eventually
0
0
0
RT @FmasWorkshop: If you're wondering what sort of work #FMAS2023 is interested in, you can take a look at our two invited talks from #FMAS…
0
8
0
Congratulations to @verivital PhD graduates Drs. Hamilton, Manzanas Lopez, and Musau who were hooded and walked yesterday, it has been a pleasure and honor working with you! @VUEngineering @EceVanderbilt @Vanderbilt_CS @VanderbiltU
0
0
26
RT @FmasWorkshop: #FMAS2023 will be held @iFMconf this year on the 15th and 16th of November 2023, crossing over with the final day of #i…
0
9
0
The 4th Verification of Neural Networks Competition (VNN-COMP'23) is being held at @confCAV Tool Registration by March 17, 2023: Details: Benchmarks / Sponsorships for VNN-COMP are welcome, please contact me #neuralnetworks
0
6
10
@HolgerHoos @LIACS Cool work, congrats! If you all are interested in helping improve VNN-COMP based on your work, we're always welcome to more folks getting involved
0
0
1
RT @VUEngineering: ✨ Applications are now open for the Institute for Software-Integrated Systems' Summer Internship Program. ✨ This paid su…
0
2
0
RT @IMDEA_Software: 🔵 #InvitedTalk 🗣️ @taylorjohnson, from @Vanderbilt_CS @VanderbiltU 📅 Tomorrow, Dec. 15th ⏰ 11:00 🔎 “Formal Verificat…
0
6
0
We're hiring tenure-track/tenured and teaching track faculty in computer science at @Vanderbilt_CS @VUEngineering, please consider joining our great & collegial department at @VanderbiltU in @visitmusiccity ! @csfacultyjobs
0
11
15