##### Dmitry A. Lyakhov, PhD

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 physics at the Belarusian State University. He is also an alumnus of the National Academy of Sciences of Belarus and visiting scholar of von Karman Institute for Fluid Dynamics. His research comprises algebraic algorithms, mathematical modeling, symbolic computation, and theoretical aspects visual computing. In industrial context he was working on development of rigorous algorithmics for robust mesh generation in CFD (at Numeca International).

Coordinator of KAUST-Belarus Exchange Program

Visiting Professor of Belarusian State University

###### Honors and Awards

Nanodegree in Machine Learning (2018)

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

Graduation with Distinction from Belarusian State University in 2009

###### Invited Speaker

International Seminar on Differential, Difference, and algebraic systems with applications, Dasa 2018 (Jan 29-31, 2018), Nanning, China

###### Selected Talks

International Workshop on Computer Algebra in Scientific Computing (Sept 17-21, 2018), Lille, France

World Congress on Computational Mechanics (July 22-27, 2018), New York, USA

Conference on Applications of Computer Algebra (June 18-22, 2018), Santiago de Compostela, Spain

CS Graduate Seminar (May 14, 2018), KAUST

Kolchin Seminar in Differential Algebra (May 4, 2018), City University of New York, NYC, USA

ACMS/STAT Graduate Seminar (April 19, 2018), KAUST

Polynomial Computer Algebra (Apr 16-21, 2018), Euler International Mathematical Institute, St. Petersburg, Russia

Computer Mathematics and System Analysis Seminar (Dec 21, 2017), Belarusian State University, Minsk, Belarus

School of Mathematics Seminar (Nov 22-24, 2017), Suranaree University of Technology, Nakhon Ratchasima, Thailand

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

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

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

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

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

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

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

International Workshop on Computer Algebra in Scientific Computing (Sept 19-23, 2016), University of Bucharest, Bucharest, Romania

###### Selected Publications

On Strongly Consistent Finite Difference Approximations

Journal of Mathematical Sciences (to be published), 2018

A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations

Cornell University Library, 2018

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

###### Teaching Activities

Advanced Computational Physics, Spring 2017 (Assistant)

Advanced Computational Physics, Spring 2018 (Assistant)

Fourier and Wavelet Theory, Springer 2018 (Assistant)

###### Memberships

Association for Computing Machinery (SIGSAM and SIGGRAPH)

Foundations of Computational Mathematics