Osbert Bastani
Assistant Professor at University of Pennsylvania
Philadelphia, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolOsbert 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 UniversityDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Stanford University
Github Skills (11)
sentiment-analysis10
stanford-nlp10
corenlp10
named-entity-recognition10
segmentation10
parsing10
coreference10
natural-language-processing9
java9
nlp9
statistical-machine-translation7
Programming languages (3)
Github contributions (5)
obastani/obastani.github.io
Jun 2017 - Jul 2024
Contributions:83 pushes, 1 branch in 7 years 2 months
obastani/glade
Sep 2016 - Apr 2020
Contributions:1 release, 2 commits, 1 PR in 3 years 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.