Taylor T Johnson

Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE

[Taylor T Johnson @taylorjohnson]

7th International Verification of Neural Networks Competition (VNN-COMP'26) w/ 9th International Symposium on AI Verification (SAIV'26) @ 38th International Conference on Computer Aided Verification (CAV'26), consider participating!

https://t.co/JI23m69hNR

@confCAV @FLoC2026

[Vanderbilt Computer Science @Vanderbilt_CS]

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: https://t.co/1P2uQCvbVs

[FMASWorkshop @FmasWorkshop]

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: https://t.co/oAdEgQ09qZ

#FMAS2025

[Taylor T Johnson @taylorjohnson]

6th International Verification of Neural Networks Competition (VNN-COMP'25) w/ 8th International Symposium on AI Verification (SAIV'25) @ 37th International Conference on Computer Aided Verification (CAV'25), consider participating!

Details: https://t.co/HGyK6fllnD

@confCAV

[FMASWorkshop @FmasWorkshop]

The first-ever best paper award winner of #FMAS2024 "Formalizing Stateful Behavior Trees" is being presented by @taylorjohnson.

[FMASWorkshop @FmasWorkshop]

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).

[FMASWorkshop @FmasWorkshop]

The invited talks from #FMAS2022 are on the @FormalMtds YouTube Channel: https://t.co/ZykLrSC3OV

* "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 @taylorjohnson]

Upcoming College of Connected Computing at Vanderbilt!

[Vanderbilt Computer Science @Vanderbilt_CS]

Vanderbilt to establish a college dedicated to computing, AI and data science https://t.co/9bgwCpuVlL

[Vanderbilt University @VanderbiltU]

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. https://t.co/0rTKp8EBtq

[Taylor T Johnson @taylorjohnson]

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: https://t.co/scLsyS3ZFI

[VU Engineering @VUEngineering]

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: https://t.co/hi4bdcpIh1

[Taylor T Johnson @taylorjohnson]

@santoshgnag @confCAV @verivital @VUEngineering Thanks and likewise great to see you and catch up!

[Taylor T Johnson @taylorjohnson]

Had a great time at @confCAV last week! Diego presented new version of our Neural Network Verification (NNV) tool, and I presented about the Verification of Networks Competition (VNN-COMP). Thanks to organizers & attendees!

https://t.co/W9kMoHpnXB

@verivital @VUEngineering

[Taylor T Johnson @taylorjohnson]

@Mitrasayn @confCAV @verivital @VUEngineering Likewise enjoyed your presentation and great to catch up, had been far too long! I will share photos eventually

[FMASWorkshop @FmasWorkshop]

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:
https://t.co/ICcWCm3bHZ

Delivered by the wonderful @MSlavkovik and @taylorjohnson

[Taylor T Johnson @taylorjohnson]

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

[Taylor T Johnson @taylorjohnson]

@GowthamK @awscloud Congrats! This happened to me once too with a grant from another organization, it unfortunately happens sometimes...

[FMASWorkshop @FmasWorkshop]

#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

[STIR Lab @StirLab]

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: https://t.co/Nrr0C6jQSO

[Taylor T Johnson @taylorjohnson]

The 4th Verification of Neural Networks Competition (VNN-COMP'23) is being held at @confCAV

Tool Registration by March 17, 2023:
https://t.co/he3juhsAgT

Details:
https://t.co/mkJh8qG0kr

Benchmarks / Sponsorships for VNN-COMP are welcome, please contact me

#neuralnetworks