Personal information

Activities

Employment (4)

Max-Planck-Institut für Informatik: Saarbrücken, Saarland, DE

2021-10-01 to present | PhD Student (Automation of Logic)
Employment
Source: Self-asserted source
Lorenz Leutgeb

Sclable Business Solutions: Vienna, AT

2017-08-01 to 2021-06-30 | Software Engineer
Employment
Source: Self-asserted source
Lorenz Leutgeb

CSIRO: Canberra, ACT, AU

2018-07-30 to 2018-09-28 | Research Engineer/Scientist (Data61, Trustworthy Systems Group)
Employment
Source: Self-asserted source
Lorenz Leutgeb

Catalysts: Vienna, AT

2014-03-01 to 2016-11-30 | Software Engineer
Employment
Source: Self-asserted source
Lorenz Leutgeb

Education and qualifications (5)

Universität des Saarlandes: Saarbrücken, Saarland, DE

2021-10-01 to present | PhD
Education
Source: Self-asserted source
Lorenz Leutgeb

TU Wien: Vienna, AT

2018-10-01 to 2021-06-24 | European Master's Program in Computational Logic (VCLA: Vienna Center for Logic and Algorithms)
Education
Source: Self-asserted source
Lorenz Leutgeb

unibz: Bolzano, Trentino-Alto Adige, IT

2018-02-26 to 2018-07-03 | European Master's Program in Computational Logic (KRDB: Research Centre for Knowledge and Data)
Education
Source: Self-asserted source
Lorenz Leutgeb

TU Dresden: Dresden, DE

2017-10-02 to 2018-02-21 | European Master's Program in Computational Logic (ICCL: International Center for Computational Logic)
Education
Source: Self-asserted source
Lorenz Leutgeb

TU Wien: Vienna, AT

2011-09-29 to 2017-09-20 | Software & Information Engineering, BSc (Faculty of Informatics)
Education
Source: Self-asserted source
Lorenz Leutgeb

Works (9)

Symbolic Model Construction for Saturated Constrained Horn Clauses

2023 | Book chapter
Contributors: Martin Bromberger; Lorenz Leutgeb; Christoph Weidenbach
Source: check_circle
Crossref

Alpha

Zenodo
2023-04-28 | Other
Contributors: Michael Langowski; Lorenz Leutgeb; Richard Comploi-Taupe; Antonius Weinzierl
Source: check_circle
DataCite

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

2022 | Book chapter
Contributors: Martin Bromberger; Lorenz Leutgeb; Christoph Weidenbach
Source: check_circle
Crossref

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

2022 | Book chapter
Contributors: Lorenz Leutgeb; Georg Moser; Florian Zuleger
Source: check_circle
Crossref

Type-based analysis of logarithmic amortised complexity

Mathematical Structures in Computer Science
2022-06 | Journal article
Contributors: Martin Hofmann; Lorenz Leutgeb; David Obwaller; Georg Moser; Florian Zuleger
Source: check_circle
Crossref

ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures

Computer Aided Verification
2021 | Book chapter
Part of ISBN: 9783030816872
Part of ISBN: 9783030816889
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Lorenz Leutgeb

Type-Based Analysis of Logarithmic Amortised Complexity

2021-01-28 | Preprint
Source: Self-asserted source
Lorenz Leutgeb

Techniques for Efficient Lazy-Grounding ASP Solving

2018 | Book chapter
Contributors: Lorenz Leutgeb; Antonius Weinzierl
Source: check_circle
Crossref

Alpha v0.3.0

Zenodo
2018-09-14 | Other
Contributors: Tobias Kaminski; Lorenz Leutgeb; Richard Comploi-Taupe; Antonius Weinzierl
Source: check_circle
DataCite