Skip to Content

Path: DBAI > staff > Günther Charwat

Tools: Drucken

Institute	TU Wien Institute of Logic and Computation Database and Artificial Intelligence Group
Address	Favoritenstraße 9-11 1040 Wien Austria
Room	HE 03 32
Mail
Phone	+43-1-58801-740018
Fax	+43-1-58801-9740018

See also: TISS Adress Book

Office Hours: By appointment (send me an e-mail)

About

I am a former postdoctoral researcher at the Database and Artificial Intelligence Group of TU Wien and was employed as a project assistent in the FWF-funded Decodyn Project ("Treating Hard Problems with Decomposition and Dynamic Programming"). I received my PhD under the supervision of Stefan Woltran.

I am interested in the design and implementation of novel algorithms for solving computationally hard problems (including development of dedicated search- or expansion-based approaches, and heuristics). Problem domains include quantified Boolean formulae (QBFs) and applications of answer set programming (ASP). I am involved in the development of several software frameworks and systems, including:

• dynQBF, an expansion-based QBF solver that exploits structural properties of the input by utilizing tree decompositions and dependency schemes;
• dynBDD, a software that relies on Binary Decision Diagrams (BDDs) for efficiently representing intermediate results during dynamic programming over a tree decomposition of the input;
• D-FLAT, a software framework that allows one to specify tree decomposition based algorithms in Answer Set Programming (ASP);
• dynPARTIX, a reasoning tool in the area of Abstract Argumentation;
• ARVis, for visualizing relations between answer sets; and
• Democratix, an ASP-based tool for evaluating preference profiles (elections) with respect to various voting rules.

Teaching

• 181.034 SE 2.0 Artifical Intelligence Seminar
  [ 2016S, 2015S, 2014S, 2013S ]
• 184.685 VU 2.0 Data Modelling
  [ 2014S, 2013W, 2013S, 2012W, 2012S ]
• 184.688 PR 4.0 Project in Computer Science 1
  [ 2014S, 2013W, 2013S, 2012W ]
• 184.689 PR 4.0 Project in Computer Science 2
  [ 2014S, 2013W, 2013S, 2012W ]
• 184.696 PR 6.0 Project in Software Engineering & Internet Computing
  [ 2014S, 2013W, 2012W ]

Publications

Other Interests