User:Denis
From Protege Wiki
I am Research Associate at the Institute of Informatics Systems of the Siberian Branch of Russian Academy of Sciences.
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 can 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.
