Lorenz Leutgeb, MSc

Lorenz is a Doctoral Researcher in the group since 2021-10. He holds a BSc in Software and Information Engineering (TU Wien) and a MSc in Computational Logic (through the European Master's Program in Computational Logic: TU Dresden, Free University Bolzano, TU Wien).

Results within RG1

1. M. Bromberger, L. Leutgeb, C. Weidenbach
   Symbolic Model Construction for Saturated Constrained Horn Clauses (arXiv)
   FroCoS 2023
2. M. Bromberger, L. Leutgeb, C. Weidenbach
   An Efficient Subsumption Test Pipeline for BS(LRA) Clauses
   IJCAR 2022
3. M. Bromberger, T. Gehl, L. Leutgeb, C. Weidenbach
   A Two-Watched Literal Scheme for First-Order Logic
   PAAR 2022

Activities

• Member of the Program Committee of HCVS 2025.
• Member of the Artifact Evaluation Committee of TACAS 2024, CAV 2024, ATVA 2024.
• Subreviewer for CASC 2024.
• Student representative of the European Master's Program in Computational Logic, cohort of 2017.

Teaching

• Tutor in Theoretical Computer Science and Logics taught by C. Fermüller, R. Freund, A. Leitsch, M. Oswald, and G. Salzer at TU Wien during the 2017 summer semester.

References (alphabetical)

• Mag. Anton Bayer, Cloudflight (superior, 2014-2016)
• Dr. Martin Bromberger, Max-Planck-Institut für Informatik
• Prof. Dr. Georg Moser, Universität Innsbruck (co-advisor, Master's Thesis)
• Dr. Michael Norrish, Australian National University (supervisor, internship, 2018)
• Mag. Martin Sirlinger, trive studio (superior, 2017-2021)
• Prof. Dr. Christoph Weidenbach, Max-Planck-Institut für Informatik (doctoral advisor)
• Dipl.-Inf. Dr. Antonius Weinzierl, TU Wien and PRODES (advisor, Bachelor's Thesis)
• Dipl.-Math. Dr. Florian Zuleger, TU Wien (advisor, Master's Thesis)

On the Web

• GitHub
• Personal Homepage