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 18th International Conference on Logic for Programming Artificial Intelligenece and Reasoning LPAR 2012
The 13th International Conference on Principles of Knowledge Representation and Reasoning KR 2012
The 25th International Conference on Description Logics DL 2012
The 6th International Joint Conference on Automated Reasoning IJCAR 2012
The 26th International Workshop on Unification UNIF 2012