Johannes K. Fichte
| Address | Favoritenstraße 9-11 1040 Wien Austria |
|---|---|
 |
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.Teaching
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.Publications
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
Co-Charing
- Organization Co-Chair in the Local Organization of the 31st International Joint Conference on Artificial Intelligence (IJCAI-22)
- Co-Chair of the Workshop on Counting and Sampling@SAT (2021,2022,2023)
- Co-Chair of the Model Counting Workshop@SAT (2020)
- Co-Organizer of the Model Counting Competition 2020,2021,2022,2023
- Co-Organizer of the PACE Challenge 2019
- Steering Committee Member of the PACE Challenge since 2019
- Member of the Local Organization of the 21st International Conference on Extending Database Technology and 21st International Conference on Database Theory (EDBT/ICDT'18)
- Co-Chair of the Local Organization of the 1st Workshop on Trends and Applications of Answer Set Programming (TAASP'16)
- Co-Organizer of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18,19)
Program Comittee Member
- PC Member of the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT'23)
- PC Member of the 34th, 35th, 36th, and 37th AAAI Conference on Artificial Intelligence (AAAI'19,'20,'21,'22) Student Abstract and Poster Program (AAAI'21)
- PC Member of the 27th, 28th, 29th, and 30th International Joint Conference on Artificial Intelligence (IJCAI'18,'19,'20,'21,'22,'23)
- PC Member of the 37th International Conference on Logic Programming (ICLP'21 Doctoral Consortium)
- PC Member of the 17th Conference on Principles of Knowledge Representation and Reasoning (KR'20,'23)
- PC Member of the 26th Conference on Constraint Programming (CP'20)
- PC Member of the 24th European Conference on Artificial Intelligence (ECAI'20)
- PC Member of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)
- PC Member of the 18th, 19th, 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA'19,'20,'21)
- PC Member of the VCLA International Student Awards 2018
- PC Member of the 18th EPIA Conference on Artificial Intelligence (EPIA'17)
- PC Member of the 7th, 8th, and 9th Workshop on Answer Set Programming and Other Computing PC Member Paradigms (ASPOCP'14,'15,'16,'17,'18,'20)
- Editorial Board Member of Journal on Experimental Results, Cambridge University Press