Research Portal

Lehre Forschung Organisation

Person profile

Affiliations
Keywords

Research area

Name	Management/Member
Research Unit of Formal Methods in Systems Engineering	Member

Keywords

Keyword (German)	Keyword (English)
Computational Logic	Computational Logic
theorem proving	theorem proving
Machine Learning	Machine Learning
Automated Reasoning	Automated Reasoning
Formale Methoden	Formal Methods
Artificial Intelligence	Artificial intelligence

Support | Policies | Legal Notice | Data Privacy

TU Wien - Karlsplatz 13 | A-1040 Vienna | phone +43 (1) 58801-0