Quantitative Verification Group

Tobias Gürtler

guertler 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 since May 2023 and I am a member of the Saarbrücken Graduate School of Computer Science.

Research

I am currently working to further the expressiveness and theoretical foundation of Belief Programming, a programming methodology for reasoning under partial observability. However, I am also interested in:

  • The connection between Belief Programming and Quantum Computing
  • Type- and Effect- Systems as a means for verifying programs

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.

Talks

Teaching

I am currently involved in the seminar Aspects of Quantitative Program Verification, in past terms I gathered the following teaching experience:

Winter term 2019/20Programming 1Student TA
Winter term 2020/21Introduction to Algorithms and Data StructuresStudent TA
Summer term 2021Concurrent ProgrammingStudent TA
Summer term 2022Concurrent ProgrammingStudent TA