Dr. Denis Ponomaryov
In the past I have been working as a Visiting Professor at the Institute for Algebra at the Technical University of Dresden, Institute of Mathematics at the Technical University of Darmstadt, and Department of Computer Science at the Ryerson University in Toronto.
My research interests concern the use of Logic in Computer Science and include Model Theory, Computability Theory, and Complexity Theory. I am particularly interested in novel directions in Knowledge Engineering and Bioinformatics that benefit from application of these fields of Mathematics.
My current research activities are concerned with logical and algebraic methods of terminological reasoning, modular representation of theories, and distributed reasoning techniques for Description Logics.