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