Stelios Tsampas

me.jpg

first at imada.sdu.dk

Office Ø14-602a-1

Campusvej 55, Odense, Denmark

Hello! Nice to see you here :).

I am a Assistant Professor (tenure-track) in the ACP Section at the Department of Mathematics and Computer Science of Syddansk Universitet (SDU). Before that, I was a Postdoctoral Researcher in the awesome Theoretical Computer Science group at Friedrich-Alexander-Universität Erlangen-Nürnberg.

I like working on the categorical foundations of computer science and applications thereof, currently focusing on programming languages and security, and more specifically on:

  • Foundations of Programming Languages
  • Formal Methods
  • Secure Compilation

I am actively developing the Higher-order Abstract GSOS (HO-GSOS) framework. The current running grant on HO-GSOS is ATLaS.

📰 news

Jun 27, 2025 Three papers I co-authored will appear in ICFP’25! These are Bialgebraic Reasoning on Stateful Languages, Big Steps in Higher-Order Mathematical Operational Semantics and CRDT Emulation, Simulation, and Representation Independence.
Nov 08, 2024 Our paper Abstract Operational Methods for Call-by-Push-Value has been accepted for publication at POPL’25!
Jun 27, 2024 I am joining the ACP Section at the University of Southern Denmark (SDU) as a tenure-track Assistant Professor in early 2025.
Apr 15, 2024 Our paper Bialgebraic Reasoning on Higher-order Program Equivalence has been accepted for publication at LICS’24!
Dec 22, 2023 Our paper Logical Predicates in Higher-Order Mathematical Operational Semantics has been accepted for publication at FoSSaCS’24!

💬 latest talks

Sep 09, 2024 Higher-order Mathematical Operational Semantics, Aarhus University (Slides)
May 23, 2024 Logical Relations (and more) in Higher-order Mathematical Operational Semantics
Invited talk, Chocola Meeting, Lyon (Slides)
Apr 10, 2024 Logical Predicates in Higher-order Mathematical Operational Semantics
FoSSaCS’24, Luxembourg City (Slides)
Apr 04, 2024 Logical Predicates in Higher-order Mathematical Operational Semanticss
WG6 Leuven (Abstract - Slides - Video)
Jan 20, 2023 Towards a Higher-Order Mathematical Operational Semantics
POPL’23, Boston (Video)

🎓 teaching

🦉 selected publications

  1. ICFP
    Bialgebraic Reasoning on Stateful Languages
    Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat
    Proc. ACM Program. Lang., 2025
  2. POPL
    Abstract Operational Methods for Call-by-Push-Value
    Sergey Goncharov, Stelios Tsampas, and Henning Urbat
    Proc. ACM Program. Lang., Jan 2025
  3. LICS
    Bialgebraic Reasoning on Higher-Order Program Equivalence
    Sergey Goncharov, Stefan Milius, Stelios Tsampas, and Henning Urbat
    In 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), Jan 2024
  4. LICS
    Weak Similarity in Higher-Order Mathematical Operational Semantics
    Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, and Lutz Schröder
    In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), Jan 2023
  5. POPL
    Towards a Higher-Order Mathematical Operational Semantics
    Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat
    Proc. ACM Program. Lang., Jan 2023