Position: | Professor |
---|---|
Degree: | Doctor of Physical and Mathematical Science |
Title: | Senior Researcher |
Room: | 608 |
Phone: | 259-05-11 |
E-mail: | |
Research interests: | methods and technological tools for constructing intelligent software systems, model-driven software development, multi-agent software systems, fuzzy systems, high-performance and distributed computing, methods of parallel programming |
Computer Algebra
Design of Multi-Agent Systems
Automated Theorem Proving
Model-Oriented Construction of Software Systems