trustML@Penn          home      people      research      publications


The Trustworthy Machine Learning Group is a research group at Penn led by Osbert Bastani. Our goal is to develop novel techniques for building systems that incorporate machine learning components, focusing on their correctness, programmability, and efficiency. We draw on techniques spanning learning theory, programming languages, formal methods, and control theory, and are interested in applications including robotics, healthcare, and software systems. Our research directions are detailed here.