cv
Click the link on the right for my full CV.
General Information
| Full Name | Stelios Tsampas |
Academic Work Experience
-
2025.02 Assistant Professor (tenure-track)
ACP Section, University of Southern Denmark -
2021.09 - 2025.01 Postdoctoral Researcher
Chair of Theoretical Computer Science, FAU -
2016.08 - 2021.08 Doctoral Researcher
DistriNet, KU Leuven
Grants
-
2024.01 - 2026.12 Abstract Techniques for Programming Languages and Secure Compilation (ATLaS)
- Funding Body: Deutsche Forschungsgemeinschaft (DFG)
- PIs: Stelios Tsampas, Sergey Goncharov
- Amount: 675K EUR.
Education
-
2016.08 - 2021.05 PhD in Computer Science
KU Leuven, Belgium - Thesis: Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation
- Advisor: Frank Piessens
-
2006.10 - 2014.04 MSc in Electrical and Computer Engineering
Aristotle University of Thessaloniki, Thessaloniki, Greece - Thesis: A Computer Security Wargame
- Advisor: Andreas L. Symeonidis
Service
| PC Member | MFPS'25, PriSC'24, FCS'23, PriSC'23, FCS'22 |
| Reviewer | POPL, FoSSaCS, CSL |