##### Dr. Dmitry A. Lyakhov, M.Sc.

Curriculum Vitae

###### Contact / WWW

Personal Email: dmitry.lyakhov@kaust.edu.sa

Personal WWW:http://www.lyakhov.com/

Computational Sciences Group (KAUST):http://csg.kaust.edu.sa/

###### About

Dr. Dmitry A. Lyakhov is currently a postdoctoral researcher in the Computational Sciences Group within KAUST's Visual Computing Center working with Professor Dominik L. Michels. Before, he was a postdoc in the Joint Institute for Nuclear Research (with Professor Vladimir P. Gerdt) and a lecturer at the Belarusian State University. He was graduated with his Ph.D. in mathematics and with a M.Sc. in theoretical and mathematical physics at the Belarusian State University. He is also an alumnus of the National Academy of Sciences of Belarus. His research comprises algebraic algorithms, mathematical modeling, symbolic computation, and theoretical aspects visual computing.

###### Selected Honors

ACM SIGSAM Award 2017 (Distinguished Paper with Vladimir P. Gerdt and Dominik L. Michels)

###### Selected Talks

Workshop on Differential Algebra and Polynomial Systems Solving (Sept 22, 23), Key Laboratory of Mathematics Mechanization, Beijing, China

International Workshop on Computer Algebra in Scientific Computing (Sept 18-22), Academy of Mathematics and System Sciences, Beijing, China

International Conference on Symmetries, Differential Equations and Applications (Aug 14-17), Technical University of Istanbul, Istanbul, Turkey

Algorithmic Algebra Group Seminar (Jul 18, 19), University of Kassel, Kassel, Germany

International Symposium on Symbolic and Algebraic Computation (Jul 25-28), Technical University of Kaiserslautern, Kaiserslautern, Germany

Foundations of Computational Mathematics (Jul 10-19), University of Barcelona, Barcelona, Spain

United Arab Emirates Math Day (Mar 11, 2017), University of Sharjah, Sharjah, UAE

Polynomial Computer Algebra (Apr 13-18, 2015), Euler International Mathematical Institute, St. Petersburg, Russia

Analytical Methods of Analysis and Differential Equations (Sept 12-17, 2011), Minsk, Belarus

###### Selected Publications

Symbolic-Numeric Integration of the Dynamical Cosserat Equations

Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, Springer, Sept. 2017, Pages 301-312

ï»¿Algorithmic Verification of Linearizability for Ordinary Differential Equations

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ACM, July 2017, Pages 285-292

On the General Analytical Solution of the Kinematic Cosserat Equations

Proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, Springer, Sept. 2016, Pages 367-380

On the Partial Analytical Solution of the Kirchhoff Equation

Proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, Springer, Sept. 2015, Pages 322-333

Lie Symmetry Analysis for Cosserat Rods

Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, Springer, Sept. 2014, Pages 324-334

Dirichlet Problem in the Ball for an Equation with a Delta-like Coefficient

Differential Equations, August 2012, Volume 48, Issue 8, Pages 1119â€“1126

###### Selected Memberships

Association for Computing Machinery (ACM SIGGRAPH and ACM SIGSAM)

Foundations of Computational Mathematics