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 > Wolfgang Dvořák

Tools: Drucken


Univ.Ass. Dipl.-Ing. Dipl.-Ing. Dr.techn.

Wolfgang Dvořák

portrait
Address Institute of Logic and Computation
Database and Artificial Intelligence Group
TU Wien
Favoritenstraße 9-11
1040 Wien
Austria
Mail email address
Phone +43-1-58801-18441
Fax +43-1-58801-9-18441
Room HA 03 18
Office
Hours
By appointment (send me an e-mail)

You can find me in the TISS Adress Book

I am a postdoctoral researcher at the Database and Artificial Intelligence Group of TU Wien and hold a venia docendi at the University of Vienna (Faculty of Computer Science). Before that, I was with the Theory and Applications of Algorithms Group at the University of Vienna and even before I obtained my PhD at TU Wien, within the WWTF funded project "New Methods for Analysing, Comparing and Solving Argumentation".

Current Work and Research Interests

My research interests lie in theoretical computer science and my main research area is on Algorithms and Algorithmic Lower Bounds for Graph Problems from Applications, with the current focus being on problems in Artificial Intelligence and model checking problems from computer aided verification. In my research, I apply methods from the fields of algorithms and computational complexity theory, in particular from the research areas of parameterized complexity, approximation algorithms, and conditional lower bounds. Beyond that, I am interested in research on the intertranslatability and expressiveness studies of AI formalisms. Find below a list of some topics I'm interested in.

Curriculum Vitae

A short curriculum vitae.

Teaching

My course list in tiss system.

Winter term 2018

I am also supervising student projects and bachelor/master theses at TU Wien.

Summer term 2018

Full teaching record

PC-member/Guest Editor

Recent & Upcoming Papers

Full publication record

Awards




Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation 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 / Datenschutzerklärung