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 > Johannes Fichte

Tools: Drucken

Johannes K. Fichte


Address Favoritenstraße 9-11
1040 Wien
Mail johannes dot fichte at tuwien dot ac dot at

You can find more information in the TISS: Address Book or
Link&oml;ping University

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

About me

I am an associate professor at Linköping University. Before I was a researcher and lecturer in the Databases and Artificial Intelligence Group(DBAI) of the Institute of Information Systems at Technische Universität Wien. Previouly, I was a research fellow at the Simons Institute at UC Berkeley and in the Knowledge Representation and Reasoning Group at TU Dresden. I received my PhD under supervision of Stefan Szeider and co-supervision of Torsten Schaub from TU Wien.

Research Interest

My work interests in computational algorithmics, complexity, and practical applications thereof, including implementations of parameterized algorithms for various combinatorial hard problems. I focus on model counting propositional formulas and various formalisms in AI, the Boolean satisfiablity problem (SAT), and answer-set programming (ASP). I have an industry background in applications of data analysis and evaluation in health care.


I am currently not teaching any courses at TU Wien.

Supervision of Bachelor/Master Theses

I am happy to supervise theses of motivated students in topics related to my research area. If you have ideas or questions regarding possible topics, please contact me. Students at TU Wien are supervised remotely and in collaboration with a lecturer/professor at TU Wien.


See also my DPLP Entry and my Google Scholar Profile.

Programs and Utils

Checkout my repositories on github.

I am involved in the development of some software utils, including: dpdb and versions thereof, gpusat, frasmt, trellis.

In addition, I work on solver evaluations Time Leap Challenge, Evaluations of Solvers, Model Counting Competition, and Combinatorial Challenges.

Community Activities


Program Comittee Member

Reviewing of Scientific Publications

I reviewed scientific publications for various venues such as AAAI, AIxIA, AIJ, ASPOCP, CP, ECAI, EPIA, ICLP, IJCAI, JELIA, JLC, KI, KR, LPAR, LPNMR, MFCS, PODS, SAT, STACS, Swarm, WLP.

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