Joey Velez-Ginorio (Director)

Joey is a PhD student advised by Steve Zdancewic and Konrad Körding at the University of Pennsylvania. His research explores the feasability of designing programming languages for the brain. His current focus is on building and proving correct compilers to neural networks. More details can be found at his personal site.

Steve Zdancewic (PI, Advisor)

Steve is Schlein Family President's Distinguished Professor and Associate Chair of the Department of Computer and Information Science at the University of Pennsylvania. His research touches on topics in secure concurrent and distributed programming, type theory, linear and modal logics, theorem proving, and mechanized metatheory. More details can be found at his personal site.

Stephanie Weirich (Advisor)

Stephanie is ENIAC President's Distinguished Professor in the Department of Computer and Information Science at the University of Pennsylvania. Her research is broadly in typed functional programming languages, exploring the integration of dependent types in Haskell, dependent and linear typing, and correct-by-construction data that enforce desired invariants on computation. More details can be found on her personal site.

Benjamin C. Pierce (Advisor)

Benjamin is Henry Salvatori Professor in the Department of Computer and Information Science at the University of Pennsylvania. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization technologies. More details can be found on his personal site.