Christoph Redl |
 |
|
|
I have left TU Wien by end of summer semester 2019. This page is no longer updated, please visit my new website at credl.github.io. Assistant Professor (fixed-term) |
||
|
Address
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
- Knowledge Representation and Reasoning
- Computational Logic
- Non-monotonic Logic Programming and Databases
- Answer Set Programming and Extensions
- Reasoner Design
- Algorithms
Teaching
Visit our education page to see the courses I am involved in.
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
- dlvhex (Reasoner for HEX-Programs)
- MELD (Belief Merging System)
- Angry-HEX (AI agent for AngryBirds)
- ABC Benchmarking System (automated benchmarking system)
- Clingo App (port of clingo as app for mobile platforms Android and iOS)