I
Ivan Ruchkin
Assistant Professor
GradNova doesn't forward messages to faculty. To contact Ivan Ruchkin, use the University of Florida website.
Research Interests
Autonomous Racing
Embedded Systems
Formal Methods
Guarantees for Learning Components
Robotics
Safe and Trustworthy Autonomy
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Advanced Software Engineering Methodologies
Model-Driven Software Engineering Techniques
Autonomous Vehicle Technology and Safety
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →