Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff >

Tools: Drucken


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. Since August 2013, I am associate professor at the Database and Artificial Intelligence Group (184/2). In Winter Term 2013, I held a deputy professorship at Leipzig University.

Current projects I am involved in:

Previous projects (selection):

CV (in German); and a shorter version (in English).


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). Best paper awards at RR'10, COMMA'10 , and KR'12 (distinguished student paper prize) (Photo). In 2013, I received the prestigous START Prize of the Austrian Science Fund (FWF) (Photo).

Steering Commitee member: KR Inc., COMMA, and NMR.
Editorial Board member: JAIR.
Area Editor of the ALP Newsletter (2012-2013).
Editor of a special issue on Answer-Set Programming in AICOM.
Faculty member: Doctoral Programme "Mathematical Logic in Computer Science" at Vienna University of Technology.
See also Doctoral Program Logical Methods in Computer Science.

Slides: Abstract Argumentation - All Problems Solved? (ECAI 2014 - Frontiers of Artificial Intelligence)

Activities (Past): Co-organizer of KR'14, CLIMA XIV, GKR'13, COMMA'12, NMR'12, ICLP'12 DC. ICLP'11 DC, ASPOCP'11, ASPOCP'10, PCCR'10, CENT'07, WLP'06.

SPC-member for IJCAI'15 (KR-track). ECAI'14.

PC-member for AAAI'15, LPNMR'15, ICLP'15, KR'14, COMMA'14, STAIRS'14, JELIA'14, CLIMA XV, ISAIM'14, FoIKS'14, ICCS'14, ICAART'14, NMR'14, AIWK'14, RCRA'14, ASPOCP'14, IJCAI'13, AAA'13, AGI'13, TAFA'13, DKB'13, GTTV'13, ECAI'12, Datalog 2.0 workshop, IJCAI'11, AAAI'11, CILC'10, NONMON@30,...

Journals: Reviews for AIJ, ACM TOCL, AMAI, TPLP, FI, JAIR, IJAR, ...

Teaching

See the teaching and courses sections for my current courses and seminars.

Former PhD Students: Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner.

Other Activities and Interests

FAK, ostliga, FavAC, theater, sektion8, BSA,...
[earlier life: SID Music (Games, Demos)]


Contact Information


Top


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.