All premium Magento themes at!

Ivan Ruchkin

@ Carnegie Mellon

iruchkin at cs dot cmu dot edu
Office: Wean Hall 4105
Phone: (412) 268-2491

Ivan Ruchkin

Ph.D. Student in Software Engineering

Wean Hall 4105

Institute for Software Research

School of Computer Science

Carnegie Mellon University


I defended my dissertation "Integration of Modeling Methods for Cyber-Physical Systems" and moved to the PRECISE lab at UPenn as a postdoc. See my page there.

Who I am

Hi! I am Ivan Ruchkin. I was a PhD student in Software Engineering at the Institute for Software Research at Carnegie Mellon University, advised by David Garlan.

What I do

My current research area is formal modeling, analysis, and verification for cyber-physical systems (CPS). I am particularly interested in creating methodologies and modeling tools to enable correct and effective integration of diverse modeling methods for CPS. To this end, my research employs a variety of formal approaches and algorithmic techniques.

Want to learn more? For a popular summary of my research, see "Modeling from the Ground Up" (pages 20-22). For more details, go to my research page or check out my slides.

What I did before

I grew up in Moscow, Russia and received a degree in Applied Math & Computer Science from Lomonosov Moscow State University. Prior to joining CMU, I worked as a part-time software engineer and a UI designer for several years, and did research on the intersection of Human-Computer Interaction and Software Engineering. In that work, I reduced the proliferation of tool windows in integrated development environments.

© Ivan Ruchkin, 2012-2019. All Rights Reserved. Updated: February 2019.
Template Design by Andreas Viklund.