Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Uwe Egly >

Tools: Drucken

Ao. Univ-Prof. Dr. Uwe Egly

A picture of me
Associate professor of Computer Science
email: uwe at
Phone: +43 (1) 58 801-18461
Fax: +43 (1) 58 801-18493
Sec: +43 (1) 58 801-18405
Office hours: By appointment

Faculty representative for human resources and infrastructure

Office hours: Dekanat

Research interests

My current research interests are with
  • proof theory and proof complexity
  • knowledge representation and reasoning
  • computational logic
  • satisfiability checking for QBFs;
  • argumentation an argumentation frameworks
  • algorithm for pathplanning
  • application of AI methods in engineering

Current and recent project activities (selection)




  • We participate in the new ARiSE Network on Rigorous Systems Engineering, which connects the unusually high critical mass of researchers in formal verification and related topics concentrated in Austria.
  • Member organizations are IST Austria, JKU Linz, TU Graz, TU Wien and Universit├Ąt Salzburg. See for details.


DepQBF won a Kurt-Goedel medal

DepQBF won a Goedel medal in the QBF Galery which took place in the frame of the FLoC Olympic Games 2014

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.