Umut A. Acar

Associate Professor

CSD, Carnegie Mellon University

Amazon Scholar


Executive assistant:  Matt McMonagle, mmcmonag@andrew.cmu.edu

Additional Contact Information


Projects

My research is rooted in formal methods and branches into systems, algorithms, and AI.   My primary research goal is to bridge safety and performance, rather than sacrifice one for the other.   

Recent Awards

Books

Teaching

Research Group

Alumni