Osbert Bastani – Penn Computer & Information Science Highlights

Assistant Professor

Computer and Information Science

Office: Amy Gutmann Hall 607

Research Areas

Trustworthy Neurosymbolic Systems
Synthesizing Neurosymbolic Programs
Machine Learning for Programmer Productivity

Awards

2023: NSF CAREER Award

Projects/Papers

_{Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting}

_{Generative AI Can Harm Learning}

_{DrEureka: Language Model Guided Sim-To-Real Transfer}

Students

PhDs:

Sagnik Anupam (co-advised with Mayur Naik)

Stephen Mell (co-advised with Steve Zdancewic)

Jason Ma (co-advised with Dinesh Jayaraman)

Shuo Li (co-advised with Insup Lee)

Michael Yao (co-advised with James Gee)

Yimeng Zeng (co-advised with Jake Gardner)

Ramya Ramalingam (co-advised with Aaron Roth)

Jie Min (co-advised with Mayur Naik)

Masters: