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
Postal AddressMax Planck Institute for Informatics
Saarland Informatics Campus E1 4
66123 Saarbrücken
Germany
Visting AddressRoom 634
Saarland Informatics Campus E1 5
66123 Saarbrücken
Germany

Bibliographical Information

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