TU Wien Informatics

Lucas Gugler

Projektass. Dipl.-Ing. / BSc

Research Areas

  • Automated Reasoning, Computational Logic, Formal Methods, Artificial intelligence
Lucas Gugler

Role