Ivan Ruchkin

Assistant Professor

CONTACT

Email: iruchkin@ece.ufl.edu
Phone: 352-273-2171
Mailing Address: P.O. Box 116200, Gainesville, FL 32611-6200

OFFICE LOCATION

MALA 4103
[ Map ]

PRIMARY RESEARCH AREA

Computer Engineering

RESEARCH INTERESTS

Safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components, formal methods, robotics, autonomous racing

ABOUT

HOMEPAGE
Lab

PUBLICATIONS

HONORS AND AWARDS:

  • 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

EDUCATION

  • Ph.D., Software Engineering, Carnegie Mellon University, School of Computer Science, Institute for Software Research, 2019
  • MS, Software Engineering, Carnegie Mellon University, School of Computer Science, Institute for Software Research, 2014
  • Specialist degree (with honors), Applied Mathematics and Computer Science, Lomonosov Moscow State University, 2011