Professor
Professor at Duke University working in cyber-physical systems, formal methods, and safe autonomy.