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
Assistant Professor
(fixed-term)
email: redl at kr.tuwien.ac.at
Phone: +43 (1) 58 801-18468
Fax: +43 (1) 58 801-18493
Sec: +43 (1) 58 801-18405
Office hours: by appointment

Address

Technische Universität Wien
Institut für Informationssysteme 184/3
Abteilung 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 (Thesis: Answer Set Programming with External Sources: Algorithms and Efficient Evaluation; more details: aspext). Prior to that I have received a master degree in Computational Intelligence in August 2010 (Thesis: Development of a Belief Merging Framework for dlvhex), another master degree in Medical Informatics in November 2010 (Thesis: Merging of Biomedical Decision Diagrams), 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

Teaching

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

I further offer bachelor and master theses in the area of logic programming. Note that this list covers only topics I am working on and other members of the group may offer further topics! Please contact me if your are interested in one of the topics or if you have another idea related to my working areas.

Publications

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.

Software


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.