Ivan Ruchkin
Assistant Professor
Biographical Info
Primary Research Area
Computer Engineering
Research Interests
Safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components, formal methods, robotics, autonomous racing
Honors and Awards
NSF CAREER Award, 2025
Best Contributed Theoretical Paper for paper “Data Generation with PROSPECT: a Probability Specification Tool” at the Winter Simulation Conference. 12/2021
Frank Anger Memorial Award for crossover of ideas between the SIGSOFT (software engineering) and SIGBED (embedded systems) communities. 05/2017
Best Paper Award for paper “Challenges in Physical Modeling for Adaptation of Cyber- Physical Systems” at the Third IEEE World Forum on the Internet of Things. 12/2016
Gold Medal in the ACM Student Research Competition at MODELS 2015 for paper “Architectural and Analytic Integration of Cyber-Physical System Models.” 10/2015
ACM SIGSOFT Distinguished Paper Award for paper “Architectural Abstractions for Hybrid Programs” at the 18th International Symposium on Component-Based Software Engineering (CBSE), CompArch 2015. 05/2015