Prof. Dr. Agata CiabattoniProfessor of LogicPrincipal InvestigatorAnschriftTechnische Universität WienFaculty of InformaticsVienna, AustriaSchwerpunkteComputational Logic, Automated Reasoning