Stavros Tripakis

Associate Professor
Khoury College of Computer Sciences
Northeastern University
first name at northeastern dot edu
Office: 340 WVH (West Village H, directions)

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.

I joined Northeastern in September 2018. My h-index is 54: Google Scholar page. My publications at DBLP.

Teaching

• Logic and Computation, CS 2800, Fall 2022
• Formal Specification, Verification, and Synthesis, CS 7430/4830, Fall 2021
• Logic and Computation, CS 2800, Fall 2021
• Formal Specification, Verification, and Synthesis, CS 7430/4830, Fall 2020
• Logic and Computation, CS 2800, Fall 2020
• System Specification, Verification, and Synthesis, CS 4830/7485, Fall 2019
• Logic and Computation, CS 2800, Fall 2019
• Logic and Computation, CS 2800, Spring 2019

Some papers

• 2022: Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+ (FMCAD)
• 2022: On neural network equivalence checking using SMT solvers (FORMATS)
• 2022: Shield decentralization for safe multi-agent reinforcement learning (NeurIPS)
• 2022: The refinement calculus of reactive systems (Information and Computation)
• 2022: Formal verification of a distributed dynamic reconfiguration protocol (CPP)
• 2022: Mapping Synthesis for Hyperproperties (CSF)
• 2021: Design and analysis of a logless dynamic reconfiguration protocol (OPODIS)
• 2021: Counterexample Classification (SEFM)
• 2021: Metrics and methods for robustness evaluation of neural networks with generative models (Machine Learning)
• 2020: The Refinement Calculus of Reactive Systems Toolset (STTT) --- TACAS 2018 shorter version
• 2019: Automated Synthesis of Secure Platform Mappings (CAV)
• 2018: Data-driven and Model-based Design (ICPS)
• 2017: Automatic Synthesis of Distributed Protocols (SIGACT News)
• 2016: Compositionality in the Science of System Design (Proc. IEEE)

Students and postdocs

• Derek Egolf (PhD)
• Daniel Melcer (PhD)
• Yuhao Zhou (PhD)
• Lisa Oakley (PhD)
• William Schultz (PhD)
• Georgios Giantamidis (PhD Aalto)

• Rômulo Meira-Góes (past postdoc, currently Prof at Penn State)
• Ian Dardik (past MS NEU, currently PhD at CMU)
• Dania Ali Abuhijleh (past NSF REU)
• Cole Vick (past NSF REU, currently PhD at UT Austin)
• Max von Hippel (past PhD)
• Eunsuk Kang (past postdoc, currently Prof at CMU)
• Viorel Preoteasa (past postdoc, currently at Space Systems Finland)
• Iulia Dragomir (past postdoc, currently at GMV Aerospace and Defence)
• Christos Stergiou (past postdoc, currently at Google)
• Srinivas Pinisetty (past postdoc, currently at IIT Bhubaneswar)
• Maria Pittou (past PhD, currently at Aristotle University of Thessaloniki)
• Antonio Iannopollo (past PhD, currently at Camozzi Automation; co-advised with Alberto Sangiovanni-Vincentelli)
• Benjamin Caulfield (past PhD co-advised with Sanjit Seshia)
• Ben Lickly (past PhD co-advised with Edward Lee, currently at Google)
• Chris Shaver (past PhD co-advised with Edward Lee)
• Nazha Abed (past PhD co-advised with Jean-Marc Vincent)
• Moez Krichen (past PhD, currently at AlBaha University)
• Christos Sofronis (past PhD, currently at United Technologies; co-advised with Paul Caspi)
• Adrian Curic (past PhD co-advised with Paul Caspi, currently at Peach IntelliHealth)
• Norman Scaife (past postdoc co-advised with Paul Caspi)
• Aude Maignan (past postdoc co-advised with Paul Caspi)

Software

Projects