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

Update

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.