Research Interests

Symbolic Computation, Algebraic Algorithms, Mathematical Modelling, Visual Computing


Selected Publications

  • Algorithmic verification of linearizability for ordinary differential equations
    D. Lyakhov, V. Gerdt, D. Michels
    Proceedings of the ACM on International Symposium on Symbolic and Algebraic Comp..., (2017)
  • On the general analytical solution of the kinematic Cosserat equations
    D. Michels, D. Lyakhov, V. Gerdt, Z. Hossain, I. Riedel-Kruse, A. Weber
    Lecture Notes in Computer Science, 9890, 367-380, (2016)

Education Profile

​Ph.D., Mathematics, Belarusian State University, 2013


KAUST Affiliations

​Visual Computing Center

Computer, Electrical and Mathematical Sciences & Engineering