(postdoctoral university assistant)
Technische Universität Wien
Institut für Informationssysteme 184/3
Abteilung für Wissensbasierte Systeme
A-1040 Wien, Austria
I am an assistant professor (postdoctoral university assistant) 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.
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.
The Latex bibliography is available here: pub-redl-all.bib.