Group Members

We are looking to hire a talented postdoctoral researcher to begin in fall/winter 2023. Please see this page for info about how to apply!

Faculty

Prof. Michael Everett

Assistant Professor, Department of Electrical & Computer Engineering and Khoury College of Computer Sciences

Personal Webpage

PhD Students

Jeff Pflueger

Personal Webpage

Zihao Dong

Personal Webpage

Research Interests: Neural Network Verification, Navigation, and the intersection of both

Leonard Jung

Personal Webpage

Alexander Estornell

Personal Webpage

MS Students

Sahasrajit Anantharamakrishnan

Personal Webpage

Yash Mewada

Personal Webpage

Anselm Mmaju

Personal Webpage