Stavros Tripakis Email Biography I am interested in the foundations of software and system design. My research spans areas such as formal methods, computer-aided verification and synthesis, safety-critical, embedded and cyber-physical systems, security, and trustworthy AI. Our group develops theory and builds tools for designing better (and better designing) systems. Homepage Position(s) & Affiliation(s) Northeastern University United States
