Scholar
Stavros Tripakis
Google Scholar ID: xmdNUEcAAAAJ
Associate Professor, Northeastern University
Citations & Impact
Citations
2,352
H-index
28
i10-index
70
Publications
20
Co-authors
179
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- H-index is 59; Published papers in top international conferences including TACAS, FMCAD, NFM, SEFM, ATVA, CAV, SoSyM, DEDS, NeurIPS, Information and Computation, STTT, CAV, ICPS, SIGACT News, IEEE, etc.
Research Experience
- Joined Northeastern in September 2018 as an Associate Professor at Khoury College of Computer Sciences. Teaches courses such as Smart Contracts and Analysis (CS 4973/6983), Formal Specification, Verification, and Synthesis (CS 7430/4830), Logic and Computation (CS 2800), etc.
Background
- Research interests include the foundations of software and system design, formal methods, and computer-aided verification and synthesis, with applications to distributed systems, security, trustworthy AI, safety-critical systems, and real-time/embedded/cyber-physical systems.
Miscellany
- Advised several PhD students and postdocs, some of whom have graduated and are now working at prestigious institutions or companies.
