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.