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 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

References (alphabetical)

On the Web

Bibliographical Information

Contact Information

E-Maillorenz@mpi-inf.mpg.de
Phone+49 681 9325 2921
Visiting AddressRoom 634
Campus E1 5
Postal AddressMax-Planck-Institut für Informatik
z. Hd. Lorenz Leutgeb
Campus E1 4
66123 Saarbrücken
Germany