Faculty | Affiliate Faculty | Emeritus Faculty | Research Faculty
Biography
Primary Research Area
Computer Engineering
Research Interests
Safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components, formal methods, robotics, autonomous racing
Honors and Awards
NSF CAREER Award, 2025
Best Contributed Theoretical Paper for paper “Data Generation with PROSPECT: a Probability Specification Tool” at the Winter Simulation Conference. 12/2021
Frank Anger Memorial Award for crossover of ideas between the SIGSOFT (software engineering) and SIGBED (embedded systems) communities. 05/2017
Best Paper Award for paper “Challenges in Physical Modeling for Adaptation of Cyber- Physical Systems” at the Third IEEE World Forum on the Internet of Things. 12/2016
Gold Medal in the ACM Student Research Competition at MODELS 2015 for paper “Architectural and Analytic Integration of Cyber-Physical System Models.” 10/2015
ACM SIGSOFT Distinguished Paper Award for paper “Architectural Abstractions for Hybrid Programs” at the 18th International Symposium on Component-Based Software Engineering (CBSE), CompArch 2015. 05/2015
Education
Ph.D., Software Engineering, Carnegie Mellon University, School of Computer Science, Institute for Software Research, 2019
MS, Software Engineering, Carnegie Mellon University, School of Computer Science, Institute for Software Research, 2014
Specialist degree (with honors), Applied Mathematics and Computer Science, Lomonosov Moscow State University, 2011