Dr. Ivan Ruchkin is an assistant professor in the Department of Electrical & Computer Engineering at the University of Florida. Prior, he was a postdoctoral researcher at the PRECISE center, University of Pennsylvania. His research interests are modeling, analysis, verification, and monitoring for safe and trustworthy autonomous systems. 

Ivan received his PhD in Software Engineering from Carnegie Mellon University in 2019. He received a Specialist Degree in Applied Mathematics and Computer Science (with honors) from the Lomonosov Moscow State University in 2011. Ivan also held several software engineering positions in the industry, including participation in the Google Summer of Code program and an internship at NASA JPL.

Ivan’s research on modeling cyber-physical systems has been recognized internationally. He was fortunate to receive the Frank Anger Memorial Award for crossover of ideas between the SIGSOFT and SIGBED communities. Ivan also received Best Paper Awards in the Component-Based Software Engineering Symposium and the World Forum on the Internet of Things, and a Gold Medal in the ACM SRC student competition at the MODELS conference.

Curriculum Vitae

My CV is available here. For more information or references, reach me at iruchkin at ece dot ufl dot edu.