Ivan Ruchkin

@ U of Pennsylvania

Ivan Ruchkin

Postdoctoral Researcher

iruchkin at sign cis dot upenn dot edu

Levine Hall 275
Computer and Information Science
Engineering and Applied Science
University of Pennsylvania

Who I am

Warning: this is my old website. Please proceed to my page at the University of Florida.

Hi! I am Ivan Ruchkin, at some point a postdoc in the PRECISE Center at UPenn.

What I do

My research develops techniques, tools, and methodologies for modeling, analysis, verification, and monitoring of autonomous cyber-physical systems.

I am currently working on providing uncertainty-aware guarantees about systems with learning components. My recent work combines probabilistic, statistical, and logical techniques for analysis and monitoring of these systems.

For more details, go to my research page or check out my recent presentation slides.

What I did before

My PhD thesis, "Integration of Modeling Methods for Cyber-Physical Systems", developed a tool-supported modeling approach enable correct and effective integration of diverse models and analyses for CPS. To this end, that research employed formal and algorithmic techniques to "bridge" the models and manage the analyses that interpret and change them. Want to learn more? Read a popular summary of my PhD research in "Modeling from the Ground Up" (pages 20-22) or visit my old CMU page.

I grew up in Moscow, Russia and received a degree in Applied Math & Computer Science from Lomonosov Moscow State University. While there, I worked as a part-time software engineer and a UI designer for several years, and did research on usability of software developer tools. This research reduced the proliferation of tool windows in integrated development environments.

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