Stavros Tripakis
Stavros Tripakis
Stavros Tripakis
Stavros Tripakis
Research Interests
- Foundations of software and system design
- Computer-aided verification and synthesis
- Cyber-physical systems
Education
- PhD in Computer Science, Joseph Fourier University
- MS in Computer Science, Ecole Normale Superieure
- BS in Computer Science, University of Crete, Greece
Biography
Stavros Tripakis is an associate professor in the Khoury College of Computer Sciences at Northeastern University. Prior to joining Northeastern in 2018, he received his PhD in computer science by conducting research in the Verimag Laboratory at Joseph Fourier University located in Grenoble, France. Tripakis has held positions at the University of California – Berkeley, the French National Research Center (CNRS), Cadence Design Systems, and Aalto University.
Tripakis is interested in the foundations of software and system design. His research focuses on formal methods, computer-aided verification and synthesis, safety-critical, embedded and cyber-physical systems, and security. He is one of the faculty advisors for the Formal Methods Group, which develops theories and builds tools for designing better systems.
Tripakis was co-chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010). He also served on the board of ACM SIGBED as secretary/treasurer from 2009-2011, and as vice-chair from 2011-2013. His H-index, a metric that measures the productivity and citation impact of a scholar’s publications, is 50.
Research Interests
- Foundations of software and system design
- Computer-aided verification and synthesis
- Cyber-physical systems
Education
- PhD in Computer Science, Joseph Fourier University
- MS in Computer Science, Ecole Normale Superieure
- BS in Computer Science, University of Crete, Greece
Biography
Stavros Tripakis is an associate professor in the Khoury College of Computer Sciences at Northeastern University. Prior to joining Northeastern in 2018, he received his PhD in computer science by conducting research in the Verimag Laboratory at Joseph Fourier University located in Grenoble, France. Tripakis has held positions at the University of California – Berkeley, the French National Research Center (CNRS), Cadence Design Systems, and Aalto University.
Tripakis is interested in the foundations of software and system design. His research focuses on formal methods, computer-aided verification and synthesis, safety-critical, embedded and cyber-physical systems, and security. He is one of the faculty advisors for the Formal Methods Group, which develops theories and builds tools for designing better systems.
Tripakis was co-chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010). He also served on the board of ACM SIGBED as secretary/treasurer from 2009-2011, and as vice-chair from 2011-2013. His H-index, a metric that measures the productivity and citation impact of a scholar’s publications, is 50.
Projects
Projects
Recent Publications
Recent Publications
© 2023 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2023 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...