See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Osbert Bastani
Trust Machine Learning (trustML)
Program Synthesis
Program Analysis
Machine Learning For Software Engineering
About
I am an associate 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 Performance Summary
2011-2026
Active Research Span
First Recorded Paper
Randomization, sums of squares, near-circuits, and faster real root counting
Year:
2011
Citations:
25
Venue:
Contemporary Mathematics 556
Latest Recorded Paper
Purely Agentic Black-Box Optimization for Biological Design
Year:
2026
Citations:
0
Venue:
arXiv preprint arXiv:2601.22382
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Bastani
Lee
Research Impact by Period
Papers
29
Citations
441
Avg. Citations / Paper
15.2
H-Index
4
Papers
97
Citations
6578
Avg. Citations / Paper
67.8
H-Index
36
Papers
27
Citations
3027
Avg. Citations / Paper
112.1
H-Index
19
Papers
6
Citations
140
Avg. Citations / Paper
23.3
H-Index
3
Contact and Professional Links
Detected Research Keywords
Model Predictive Shielding
Safe Reinforcement Learning
Pac Prediction Sets
Guided Reinforcement Learning
Optimizing Health Supply
Health Supply Chains
African Ancestry Individuals
Black Box Explanations
Sequential Decision Making
Neurosymbolic Generative Models