Skip to Content

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

Path: KBS > staff > Christoph Redl>

Tools: Drucken

Christoph Redl

A picture of me
I have left TU Wien by end of summer semester 2019.
This page is no longer updated,
please visit my new website at

Assistant Professor
email: redl at


Technische Universität Wien
Institut für Logic and Computation 192/3
Fachbereich für Wissensbasierte Systeme

Favoritenstraße 9-11
A-1040 Wien, Austria

Personal Information

I am an assistant professor (fixed-term) at the Knowledge-Based Systems Group. Besides my teaching duties I am involved in the research project Integrated Evaluation of Answer Set Programs and Extensions (FWF P27730). Previously I have worked in Evaluation of ASP Programs with External Source Access (FWF P24090) and Reasoning in Hybrid Knowledge Bases (FWF P20840). I am currently the main developer of dlvhex.

From November 2010 to April 2014 I did my PhD in Computer Science under supervision of Prof. Thomas Eiter and Prof. Stefan Woltran in the doctoral programme Mathematical Logic in Computer Science. Prior to that I have received a master degree in Computational Intelligence in August 2010, another master degree in Medical Informatics in November 2010, and a bachelor degree in Software and Information Engineering in May 2008, all from TU Vienna.

More details can be found in my Curriculum Vitae.

Research Interests


Visit our education page to see the courses I am involved in.


Some of my publications can be found at DBLP. For a complete list have a look at my CV or visit my publication page.

The Latex bibliography is available here: pub-redl-all.bib.


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. Datenschutzerklärung.