Summary
Osbert Bastani is an assistant professor and research group lead at the University of Pennsylvania who bridges machine learning and programming languages to build correct, programmable, and efficient ML-enabled systems. With a Ph.D. from Stanford and a postdoc at MIT, his research spans learning theory, formal methods, PL techniques, and control theory applied to domains like robotics, healthcare, and software systems. He has a history of industry-facing research from internships at Google and Microsoft to projects verifying deep neural networks and static analysis for Android, bringing practical rigor to theoretical work. His group’s emphasis on verifiable reinforcement learning and systems-level correctness reflects a rare combination of deep theoretical training and hands-on systems experience accumulated over 13 years in research.
13 years of coding experience
10 years of employment as a software developer
Bachelor of Arts (B.A.), Mathematics, Bachelor of Arts (B.A.), Mathematics at Harvard University
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Stanford University