Uwe Egly is an associate professor and currently vice-dean for academic affairs at TU Wien. He holds a Dipl. Inform. med. degree from Heidelberg University and a Dipl.-Ing. degree from TU Wien In 1994, he got his doctoral degree from TH Darmstadt and obtained his habilitation from TU Wien in 1997. His research interests are in proof theory and proof complexity, knowledge representation and reasoning, computational logic, satisfiability checking for QBFs, argumentation and argumentation frameworks, algorithms for pathplanning, and applications of AI methods in engineering.