Dmitry A. Lyakhov, PhD
Curriculum Vitae

Contact / WWW

Personal Email:

Personal WWW:

Visual Computing Center (KAUST):


Dmitry Lyakhov is a Research Scientist in the Visual Computing Center working with Prof. Dominik Michels and Prof. Helmut Pottmann. Before, he was a researcher in the Group of Algebraic and Quantum Computations (with Prof. Vladimir 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 of visual computing. In industrial context he was working on development of rigorous algorithmics for robust mesh generation in CFD (at Numeca International). Additionally, in 2018 he obtained nanodegree in machine learning.

Coordinator of KAUST-Belarus academic exchange program: read about program and conditions

Honors and Awards

ACM SIGSAM Award (2017)
Visiting Professor of Belarusian State University
Graduation with Distinction from Belarusian State University (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 (Sep 14-18, 2020), Linz, Austria (virtual event)
International Workshop on Computer Algebra in Scientific Computing (Aug 26-30, 2019), Moscow, Russia
World Congress on Computational Mechanics (July 22-27, 2018), New York, US
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, US
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
Seminar on Computer Algebra, CMC Faculty of Moscow State University (Nov 18, 2015), Moscow, Russia

Selected Publications

Recognizing the Shape and Size of Tundra Lakes in Synthetic Aperture Radar (SAR) Images Using Deep Learning Segmentation
Remote Sensing, MDPI (2023)

Mechanisms of Elastoplastic Deformation and their Effect on Hardness of Nanogranular Ni-Fe Coatings
International Journal of Mechanical Sciences, Elsevier (2022)

Features of Structure, Magnetic State and Electrodynamic Performance of SrFe12−xInxO19
Scientific Reports, Nature Research (2021)

Lost Photon Enhances Superresolution
npj Quantum Information, Nature Research (2021)

Controlling Wave-front Shape and Propagation Time with Tunable Disordered Non-Hermitian Multilayers
Scientific Reports, Nature Research (2021)

The Influence of the Synthesis Conditions on the Magnetic Behaviour of the Densely Packed Arrays of Ni Nanowires in Porous Anodic Alumina Membrane
RSC Advances, Royal Society of Chemistry (2021)

DFT Study of NO Reduction Process on Ag/γ-Al2O3 Catalyst: Some Aspects of Mechanism and Catalyst Structure
Journal of Physical Chemistry C, American Chemical Society (2021)

On the N-Arylation of Acetamide Using 2-, 3- and 1’-Substituted Iodoferrocenes
European Journal of Inorganic Chemistry, Wiley-Blackwell (2020)

In Silico Methods for Space System Analysis: Optical Link Coding Performance and Lunar Terrain Masks
ASCEND 2020, American Institute of Aeronautics and Astronautics (2020)

Spatial and Hyperfine Characteristics of SiV– and SiV0 Color Centers in Diamond: DFT Simulation
Semiconductors, Springer (2020)

DFT Simulation of Electronic and Spin Properties of GeV– Color Center in Volume and Near-Surface of Nanodiamond for Temperature Sensor Applications
Semiconductors, Springer (2020)

Optimal Correlation Order in Super-resolution Optical Fluctuation Microscopy
Physical Review A, American Physical Society (2020)

Surface-Enhanced Raman Spectroscopy of Organic Molecules and Living Cells with Gold Plated Black Silicon
ACS Applied Materials & Interfaces, American Chemical Society (2020)

Rise of Nations: Why do empires expand and fall?
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics (2020)

Method of surface energy investigation by lateral AFM: Application to control growth mechanism of nanostructured NiFe films
Scientific Reports, Nature Research (2020)

Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order
Proceedings of the 22th International Workshop on Computer Algebra in Scientific Computing, Springer (2020)

Early-Stage Growth Mechanism and Synthesis Conditions-Dependent Morphology of Nanocrystalline Bi Films Electrodeposited from Perchlorate Electrolyte
Nanomaterials, MDPI (2020)

Unambiguous Scattering Matrix for non-Hermitian Systems
Physical Review A, American Physical Society (2020)

Percolation and Transport Properties in The Mechanically Deformed Composites Filled with Carbon Nanotubes
Applied Sciences, MDPI (2020)

On the Algorithmic Linearizability of Nonlinear Ordinary Differential Equations
Journal of Symbolic Computation, Elsevier (2020)

Efficiently Reconstructing Compound Objects by Quantum Imaging with Higher-Order Correlation Functions
Communications Physics, Nature Research (2019)

On the Consistency Analysis of Finite Difference Approximations
Journal of Mathematical Sciences (New York), Springer (2019)

A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
Proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, Springer (2018)

Symbolic-Numeric Integration of the Dynamical Cosserat Equations
Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, Springer (2017)

Algorithmic Verification of Linearizability for Ordinary Differential Equations
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ACM (2017)

Teaching Activities

AMCS Advanced Computational Physics (Assistant)
AMCS Fourier and Wavelet Theory (Assistant)


Foundations of Computational Mathematics
Reviewer of ISSAC, CASC and SIGGRAPH
CASC Publicity Chair

Belarusian State University Joint Institute for Nuclear ResearchKing Abdullah University of Science and Technology

hiking in Saudi Arabia, Yanbu and Al Baha, 2022