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 (18)
stanford-nlp10
named-entity-recognition10
word-embeddings10
similarity10
lda10
sentiment-analysis10
sentiment10
nlp10
corenlp10
turkish10
arabic-nlp9
java9
natural-language-processing9
statistical-machine-translation7
translation4
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.