Research units & titles
- Professor Professorship Tripakis S. - Professors, tenure track
- Helsinki Institute for Information Technology HIIT
Artistic and research interests
My research focuses on the foundations of system design. I am particularly interested in formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools which can be used in application domains such as embedded and cyber-physical systems.
My h-indexis 38 according to Google Scholar.
Doctor of Philosophy in Natural Sciences, L'Universite Grenoble
- Formal Methods, Cyber-Physical Systems, System Design Automation, Computer-aided verification and synthesis