Dr. Denis Ponomaryov


I am Senior Research Associate at the Institute of Informatics Systems of the Siberian Division 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 that can benefit from application of these fields of Mathematics.

My current research activities are concerned with logical and algebraic methods for terminological reasoning, decomposition of boolean functions, modular and distributed representation of logical theories, and reasoning about actions.

The research projects mostly related to the topics of my interest: