| Lehrstuhl für Automatentheorie | |
| Fakultät Informatik | |
| TU Dresden | |
| e-mail: {my last name}@tcs.inf.tu-dresden.de or {firstname.lastname}@sap.com |
|
|
My research interests are in the area of expressive description logics and decision procedures for such logics, in particular tableau- and automata-based algorithms. The relation between tableaus and automata is also the topic of my recently finished PhD thesis.
You can find my CV here and a list of my publications there. The publications themselves can be downloaded from the publication page of the chair for automata theory.
As a student, I also implemented two tableau-based satisfiability testers in Lisp: SAGA for the Guarded Fragment and GoST for the fragment GF1-.
If you have any questions or suggestions, feel free to email me (see above for the address).