about
 |
I am a researcher at the Chair for
Automata Theory in the Institute
for Theoretical Computer Science.
Previously I was working with Christopher Lynch at Clarkson University. My main interest is unification modulo equational theories. We have designed an algorithm for general case and several decision procedures for particular theories. |
working on...
Unification in Description Logics.
I am working in the project Unification in Description Logics for Avoiding Redundancies in Medical Ontologies.
Conferences...
The 25th International Workshop on Unification UNIF 2011
The 23rd International Conference on Automated Deduction CADE 2011
The 24th International Conference on Description Logics DL 2011