This site is under construction.
If you are interested in working, e.g., on
- logic & computation, logical languages, e.g., Boolean satisfiability or answer set programming,
- computational complexity of reasoning,
- non-monotonic reasoning,
- preferential reasoning, computational social choice, or
- efficient algorithms for challenging (NP-hard) problems arising in knowledge representation
you can contact Assistant Professor Johannes P. Wallner for more information for student topics at Graz University of Technology. You can also have a look at the group's webpage and recent publications, to get a feeling on potential topics.