Associate Professor, Dennis and Rebecca Muilenburg Professor
Computer Science (Courtesy)
Electrical and Computer Engineering (Courtesy)
Mathematics (Courtesy)
Virtual Reality Applications Center (Affiliation)
Faculty | AERE Faculty Aerospace Engineering ECpE Courtesy Appointments | Algorithms Automated Reasoning Autonomy Discrete Mathematics Formal Methods Model Checking Requirements Specification Robotics Runtime Verification Satisfiability