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 is in the areas of formal methods and computer-aided verification and synthesis, with applications to safety-critical, embedded and cyber-physical systems, security, and trustworthy AI. Our group develops theory and builds tools for designing better (and better designing) such systems.

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

Teaching

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

Some papers

2023: Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems (accepted to NFM 2024)
2023: Decoupled Fitness Criteria for Reactive Systems (SEFM)
2023: Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms (ATVA)
2023: Safe Environmental Envelopes of Discrete Systems (CAV)
2023: Counterexample Classification (SoSyM)
2023: On tolerance of discrete systems with respect to transition perturbations (DEDS)
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: 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

Current:

Derek Egolf (PhD)
Daniel Melcer (PhD)
Yuhao Zhou (PhD)
William Schultz (PhD)

Past:

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

Latest Projects

Software

The Refinement Calculus of Reactive Systems (RCRS) --- STTT 2020 paper: The Refinement Calculus of Reactive Systems Toolset --- The RCRS Toolset won a Distinguished Artifact Award at TACAS 2018.

Page maintained by Stavros Tripakis