Quantitative Verification Group

Lena Verscht

lverscht at cs.uni-saarland.de

Saarland Informatics Campus
E1 3, R. 507
66133 Saarbrücken

I am a PhD student in the Quantitative Verification Group headed by Professor Benjamin Kaminski and in the Software Modeling and Verification Group at RWTH Aachen headed by Professor Joost-Pieter Katoen.

RESEARCH

My research interests include the deductive verification of probabilistic programs, as well as quantitative aspects of (partial) incorrectness logic. I am also interested in the connection between Hoare logic and Kleene algebra. Currently, I am studying the precise relationship and expressiveness of both approaches.

THESIS PROJECTS

If you are interested in writing a Bachelor’s or Master’s thesis in quantitative aspects of logic or verification, don’t hesitate to contact me. I am currently supervising the following students: 

  • Haya Alkhaled. Bachelor’s thesis
  • Anran Wang. Master’s thesis

For an overview of currently available topics, see our thesis projects.

TEACHING

I am currently involved in the following teaching activities:

Past semesters:

PUBLICATIONS

  • Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes, Proceedings of the ACM on programming languages 7 (POPL), pages 67, ACM, 2023

PEER REVIEW

Conferences:

  • TACAS 2024 (Member of Artifact Evaluation Committee)
  • CSL 2024 (External Reviewer)
  • QEST 2023 (External Reviewer)