RG1
Automation of Logic

Lorenz Leutgeb, MSc

Doctoral Researcher

Lorenz 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).

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
Personal Homepagelorenz.leutgeb.xyz

Bibliographical Information

dblp227/5429
ORCID0000-0003-0391-3430
Google Scholar4F_ois