Johannes Fichte: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Fichte (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Fichte (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Telefon=+49 351 463 43548 | |Telefon=+49 351 463 43548 | ||
|Email=johannes.fichte@ | |Email=johannes.fichte@tu-dresden.de | ||
|Raum=APB2018 (https://goo.gl/maps/k7iD8kfi5Cu) | |Raum=APB2018 (https://goo.gl/maps/k7iD8kfi5Cu) | ||
|Sprechstunde Tag=Mi | |Sprechstunde Tag=Mi | ||
Version vom 4. Juni 2019, 18:33 Uhr
Dr. Johannes K. Fichte
Wissenschaftlicher Mitarbeiter Wissensverarbeitung
- johannes.fichte@tu-dresden.de
- +49 351 463 43548
- APB2018 (https://goo.gl/maps/k7iD8kfi5Cu)
- Mi, 14:30 – 15:30 Uhr
My work interests in computational complexity theory and its applications. In particular I work on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial/structured setting). I consider the boolean satisfiablity problem (SAT), answer-set programming (ASP), and related formalisms.
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.
