TU Wien Informatics

Franz Wotawa

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Areas

  • model-based and qualitativ reasoning, software engineering, configuration, verification and validation, intelligent agents, theorem proving

Role