Osbert Bastani

Osbert Bastani

Research Assistant Professor
University of Pennsylvania
611 Levine Hall


I am a research assistant professor at the Department of Computer and Information Science at the University of Pennsylvania leading the trustml@Penn research group. I am a member of the PRECISE and PRiML centers, and of PLClub. Previously, I completed my Ph.D. at Stanford advised by Alex Aiken, and spent a year as a postdoc at MIT working with Armando Solar-Lezama. My publications are listed here.


I am broadly interested in machine learning and programming languages research. Recently, I have been working on developing trustworthy machine learning algorithms. Machine learning is increasingly used in real world systems where failures can be catastrophic, such as autonomous vehicles, medical diagnosis, and legal decision making. For such applications, there are many desirable correctness properties that machine learning models should satisfy, including safety, robustness, fairness, causality, and interpretability. My work aims to address the following challenges:

  • What correctness properties should machine learning models satisfy?
  • How can we reason about the correctness of existing machine learning models?
  • Can we learn machine learning models for which correctness is easy to verify?