Stavros Tripakis

Professor

I am interested in the foundations of system design.
My research currently focuses on formal methods, computer-aided verification
and synthesis, system modeling and simulation, and compositionality.
My work involves developing theory and building tools for designing better
(and better designing) systems.
Application domains include safety-critical systems,
embedded systems, and cyber-physical systems.