Osbert Bastani

Osbert Bastani

Assistant Professor
University of Pennsylvania
611 Levine Hall
obastani[AT]seas.upenn.edu
[CV] [research statement] [teaching statement] [google scholar]

about

I am an 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 ASSET, 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.


research

My research interests are detailed here.


publications

My publications are listed here.