Ivan Papusha


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


Ivan Papusha is a postdoctoral fellow at the Institute for Computational Engineering and Sciences, University of Texas at Austin, where he explores and invents new formal methods for autonomy and verification of machine learning systems. He completed his 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. His research, supervised by Richard Murray in the Networked Control Systems Lab, centered on robustness, adaptation, and learning in optimal control — and applying convex optimization methods and formal verification techniques to aerospace systems. He received his BS and MS degrees, both in Electrical Engineering, from Stanford University in 2011.