Ivan Ruchkin

@ U of Pennsylvania

Ivan Ruchkin

Postdoctoral Researcher

iruchkin at sign cis dot upenn dot edu


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

Who I am

Hi! I am Ivan Ruchkin, currently a postdoc at the PRECISE Center.

What I do

My research area is modeling, analysis, and verification for cyber-physical systems.

I am currently working on providing probabilistic guarantees about composite monitors of critical qualities, such as safety. In complex systems, safety monitors are essential, yet they depend on unreliable perception. My work develops probabilistic, statistical, and logical techniques for monitor design and assurance.

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? For a popular summary of my PhD research, see "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. In that research, I reduced the proliferation of tool windows in integrated development environments.



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