Homepage of Stefan Woltran
|
|
About me
I studied Computer Science at Vienna University of Technology and received my diploma in February 2001. In May 2003, I received my PhD in Computer Science. From July 2001 to May 2007 I was working as a project research assistant in the Knowledge-Based Systems Group on projects funded by the Austrian Research Fund (FWF). They were about QBF encodings and afterwards about ASP-equivalence. Since June 2007, I am an assistant professor at the Database and Artificial Intelligence Group (184/2). In November 2008, I received my Habilitation in the area of ``Information Systems'' at the Faculty of Computer Science of the Vienna University of Technology
Current projects I am involved in:- New Methods for Analyzing, Comparing, and Solving Argumentation Problems
(Project leader) - Turning Theoretical Tractability into Efficient Computation
- Service-Oriented Data Integration
Research
My research concentrates on problems in the areas of Knowledge Representation and Reasoning; complexity analysis in AI, Logic Programming, and the Semantic Web; design and analysis of algorithms.
Selected Publications (at the DB&LP Bibliography Server).Awards: In 2002, I received the OCG-Förderpreis, an award for oustanding master theses in the field of Computer Science. (Photo)
Activities: Co-organizer of CENT'07, WLP'06.
PC-member for IJCAI'09, LPNMR'09, ASPOCP'09, SEA'09, Log-IC'09, ASPOCP'08, ICLP'07, SEA'07, ECAI'06, ASP'05, AAAI'04.
Journals: Reviews for AIJ, AMAI, TPLP, JAIR, ...
Teaching
See the teaching and courses sections for my current courses and seminars.Other Activities and Interests
FAK, ostliga, theater, BSA,... (earlier life: PKJ, Kellerhaus, C64, ...)Contact Information
-
Institute of Information Systems
- Database and Artificial Intelligence Group 184/2
- Favoritenstraße 9-11
- A-1040 Vienna
- Phone: (43) 1 58801 18429
- Fax: (43) 1 58801 18492
- Email: woltran@dbai.tuwien.ac.at
- Database and Artificial Intelligence Group 184/2
Top