Theoretical Computer Science

Mikhail Moshkov is a professor of Applied Mathematics and Computational Science (AMCS) and an affiliated professor of Computer Science (CS) at KAUST. He is also the principal investigator of the Extensions of Dynamic Programming, Machine Learning, Discrete Optimization (TREES) research group.

Professor Moshkov holds an M.S. summa cum laude in 1977 from the University of Nizhni Novgorod, Russia. He obtained his Ph.D. in 1983 from the University of Saratov, Russia, and a Doctor of Science in 1999 from Moscow State University, Russia.

Before joining KAUST, he held professorships at the University of Nizhni Novgorod, Russia, and the University of Silesia, Poland.

Moshkov received the State Scientific Stipend in Mathematics for Outstanding Scientists from April 2000 to March 2003, awarded by the Presidium of the Russian Academy of Sciences. Additionally, he received the First Degree Research Prize, awarded by the rector of the University of Silesia, Poland, in 2006.

Professor Moshkov's research interests include: (i) The study of time complexity of algorithms in computational models such as decision trees, decision rule systems and acyclic programs with applications to combinatorial optimization, fault diagnosis, pattern recognition, machine learning, data mining, and analysis of Bayesian networks. (ii) The analysis and design of classifiers based on decision trees, reducts, decision rule systems, inhibitory rule systems, and lazy learning algorithms. (iii) Extensions of dynamic programming for sequential optimization relative to different cost functions and for study of relationships between two cost functions with applications to combinatorial optimization and data mining.