Dr. Stelios Tsampas

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Office: 11.155
E-Mail: stelios.tsampas[at]fau.de

 photo

About me

I am a postdoctoral researcher in the 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

From 01.2024 until 12.2026, my position will be funded by the DFG project Abstract Techniques for Programming Languages and Secure Compilation.

Recent Highlights (see also dblp, Google Scholar)

  1. Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat: Bialgebraic Reasoning on Higher-Order Program Equivalence. 39th Annual ACM/IEEE Symposium on Logic in Computer Science  (LICS 2024). Accepted for publication.
  2. Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat: Logical Predicates in Higher-Order Mathematical Operational Semantics. Proc. 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024).
  3. Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder: Weak similarity in higher-order mathematical operational semantics. Proc. 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023). 
  4. Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat: Towards a higher-order mathematical operational semantics. Proc. 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), Proc. ACM Program. Lang., vol. 7, pp. 632–658, ACM, 2023.

Funding

  • Deutsche Forschungsgemeinschaft (DFG), project Abstract Techniques for Programming Languages and Secure Compilation, 2024-2026, Principal Investigator (with PD Dr. Sergey Goncharov)

Professional Activitivies

  • Program committees:
    • Workshop on Principles of Secure Compilation 2024, PC member
    • Workshop on Foundations of Computer Security 2023, PC member
    • Workshop on Principles of Secure Compilation 2023, PC member
    • Workshop on Foundations of Computer Security 2022, PC member
  • External Reviewer:
    CSL 2024, POPL 2024, FoSSaCS 2023