Ivan Ruchkin
Assistant Professor at Trustworthy Engineered Autonomy (TEA) Lab
Gainesville, Florida, United States
Summary
👤
Senior🎓
Top SchoolIvan Ruchkin is an Assistant Professor and director of the Trustworthy Engineered Autonomy Lab at the University of Florida with 16 years of experience bridging formal methods, AI/ML, and autonomous cyber-physical systems. Trained at Carnegie Mellon (Ph.D.) and seasoned by postdoctoral work at UPenn and a visiting appointment with the Air Force Research Laboratory, he develops rigorous, safety-focused approaches to make learning-enabled systems auditable and reliable. His background mixes deep theoretical research with practical engineering—earlier roles include internships at JPL and the Software Engineering Institute and hands-on software/UI development dating back to industry and academic labs in Russia. Ivan’s work emphasizes verifiable autonomy, and he routinely translates formal guarantees into tools and experimental systems used by both academia and government labs.
16 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Carnegie Mellon UniversityLomonosov Moscow State University
English, French, Russian
Github Skills (14)
ranking9
science8
computer-science7
react7
rainbow7
gnome4
python3
wxpython2
architecture2
linux2
macos2
windows2
collision2
javascript1
Programming languages (4)
Github contributions (5)
bisc/ctrl-perc-contracts
Dec 2020 - Jun 2022
Contributions:1 release, 13 pushes, 1 tag in 1 year 6 months
Trustworthy-Engineered-Autonomy-Lab/Bridging-dimensions
Jul 2024 - Mar 2025
These are two case studies for the paper "bridging dimensions: confident reachability for high-dimensional controllers"
Contributions:1 release, 6 pushes, 1 tag in 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.