Primary AppointmentComputer Science
Contact InformationEmail: email@example.com
Cyber-Physical Systems, Artificial Intelligence
My research focuses on assuring the safety and trustworthiness of cyber-physical systems (CPS). I develop modeling and analysis methods for CPS, drawing on formal methods, machine learning, control theory, and human factors. I also work across many different application domains, from autonomous robots, to smart cities, to medical systems.