Scholar
Stelios Tsampas
Google Scholar ID: P_acVKwAAAAJ
Assistant Professor
Citations & Impact
Citations
136
H-index
8
i10-index
8
Publications
20
Co-authors
14
list available
Publications
Resume (English only)
Academic Achievements
- Three papers co-authored will appear in ICFP’25: 'Bialgebraic Reasoning on Stateful Languages', 'Big Steps in Higher-Order Mathematical Operational Semantics', and 'CRDT Emulation, Simulation, and Representation Independence'.
- The paper 'Abstract Operational Methods for Call-by-Push-Value' has been accepted for publication at POPL’25.
- The paper 'Bialgebraic Reasoning on Higher-order Program Equivalence' has been accepted for publication at LICS’24.
- The paper 'Logical Predicates in Higher-Order Mathematical Operational Semantics' has been accepted for publication at FoSSaCS’24.
- The paper 'Towards a Higher-Order Mathematical Operational Semantics' was published at POPL’23.
Research Experience
- Currently, he is an Assistant Professor (tenure-track) in the ACP Section at the Department of Mathematics and Computer Science of Syddansk Universitet (SDU). He is actively developing the Higher-order Abstract GSOS (HO-GOS) framework.
Education
- Before joining the University of Southern Denmark, he was a Postdoctoral Researcher in the Theoretical Computer Science group at Friedrich-Alexander-Universität Erlangen-Nürnberg.
Background
- Research interests include the foundations of programming languages, formal methods, and secure compilation. Currently focusing on developing the Higher-order Abstract GSOS (HO-GSOS) framework.
Miscellany
- Email: first at imada.sdu.dk; Office: Ø14-602a-1, Campusvej 55, Odense, Denmark
