Ivan Papusha


Ivan Papusha
Postdoctoral Fellow
Institute for Computational Engineering and Sciences
University of Texas at Austin


I am a postdoctoral fellow at the Institute for Computational Engineering and Sciences at the University of Texas at Austin, where I explore formal methods for autonomy, and verification of machine learning systems. I completed my PhD in Control and Dynamical Systems at the California Institute of Technology (Caltech), funded by a National Defense Science and Engineering Graduate Fellowship (NDSEG) and by Boeing. My PhD research, supervised by Prof. Richard Murray, was on robustness, adaptation, and learning in optimal control — in particular, I applied optimization methods and formal verification techniques to aerospace systems. I received my BS and MS degrees, both in Electrical Engineering, from Stanford University in 2011.