Ivan Ruchkin

Assistant Professor · Department of Electrical & Computer Engineering

Safe and trustworthy autonomycyber-physical systemsguarantees for learning componentsformal methodsroboticsautonomous racing

About

Ivan Ruchkin is an Assistant Professor in the Department of Electrical & Computer Engineering at the University of Florida. His research focuses on safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components, formal methods, robotics, and autonomous racing.

Selected publications

Data Generation with PROSPECT: a Probability Specification Tool
Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems
Architectural and Analytic Integration of Cyber-Physical System Models
Architectural Abstractions for Hybrid Programs

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.