Personal information
Activities
Employment (4)
2021-10-01
to
present
|
PhD Student
(Automation of Logic)
Employment
Source:
Lorenz Leutgeb
2017-08-01
to
2021-06-30
|
Software Engineer
Employment
Source:
Lorenz Leutgeb
2018-07-30
to
2018-09-28
|
Research Engineer/Scientist
(Data61, Trustworthy Systems Group)
Employment
Source:
Lorenz Leutgeb
2014-03-01
to
2016-11-30
|
Software Engineer
Employment
Source:
Lorenz Leutgeb
Education and qualifications (5)
2021-10-01
to
present
|
PhD
Education
Source:
Lorenz Leutgeb
2018-10-01
to
2021-06-24
|
European Master's Program in Computational Logic
(VCLA: Vienna Center for Logic and Algorithms)
Education
Source:
Lorenz Leutgeb
2018-02-26
to
2018-07-03
|
European Master's Program in Computational Logic
(KRDB: Research Centre for Knowledge and Data)
Education
Source:
Lorenz Leutgeb
2017-10-02
to
2018-02-21
|
European Master's Program in Computational Logic
(ICCL: International Center for Computational Logic)
Education
Source:
Lorenz Leutgeb
2011-09-29
to
2017-09-20
|
Software & Information Engineering, BSc
(Faculty of Informatics)
Education
Source:
Lorenz Leutgeb
Works (9)
2023
|
Book chapter
Contributors:
Martin Bromberger;
Lorenz Leutgeb;
Christoph Weidenbach
Source:
check_circle
Crossref
Zenodo
2023-04-28
|
Other
Contributors:
Michael Langowski;
Lorenz Leutgeb;
Richard Comploi-Taupe;
Antonius Weinzierl
Source:
check_circle
DataCite
2022
|
Book chapter
Contributors:
Martin Bromberger;
Lorenz Leutgeb;
Christoph Weidenbach
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Lorenz Leutgeb;
Georg Moser;
Florian Zuleger
Source:
check_circle
Crossref
Mathematical Structures in Computer Science
2022-06
|
Journal article
Contributors:
Martin Hofmann;
Lorenz Leutgeb;
David Obwaller;
Georg Moser;
Florian Zuleger
Source:
check_circle
Crossref
Computer Aided Verification
2021
|
Book chapter
Source:
Lorenz Leutgeb
Source:
Lorenz Leutgeb
2018
|
Book chapter
Contributors:
Lorenz Leutgeb;
Antonius Weinzierl
Source:
check_circle
Crossref
Zenodo
2018-09-14
|
Other
Contributors:
Tobias Kaminski;
Lorenz Leutgeb;
Richard Comploi-Taupe;
Antonius Weinzierl
Source:
check_circle
DataCite