mathematical modelling

Reading Theorems in Lean

-

B9 R2325

This seminar introduces the Lean proof assistant from the perspective of reading and auditing mathematical statements, exploring its role in auto-formalization and its capacity to expose tacit assumptions in mathematical research.

On the Modeling and Approximation of Phase Transitions in Elasticity

-

B9 L2 R2325

This talk explores the mathematical modeling of phase transitions in elasticity, drawing motivation from observed phenomena in crystalline solids and biomaterials.
kaust-mathematical-modeling-reaction-diffusion-biomedical-research

Bringing an old proof to modern problems

1 min read ·
A physically consistent and self-adaptive numerical modelling approach opens the door to more accurate and reliable computational simulations of clinical and biological processes.

AMCS Mini Course: Mathematical and numerical modelling of water waves

-

B1 L3 R3119

Abstract : The mathematical modelling of water waves continues to attract great interest both from a mathematical point of view, due to the difficulty of solving the systems of nonlinear partial differential equations that describe the relevant physical phenomena, and also from that of fluid mechanics, due to complexity of the physical phenomena that occur during the propagation of water waves and their importance in oceanography and coastal dynamics. The basic mathematical model is the system of the Euler equation for the motion of the free surface and the evolution of the velocity field of

Professor Marc Genton named Distinguished Professor of Statistics at KAUST

1 min read ·
Marc G.Genton, Professor of Statistics in the Division of Computer, Electrical and Mathematical Sciences and Engineering (CEMSE), has been appointed by KAUST President Jean-Lou Chameau to Distinguished Professor of Statistics.

Stefanos Georgiadis

Stefanos Georgiadis is an applied mathematician with a background in the modeling and analysis of fluid systems using nonlinear partial differential equations.

Marc G. Genton

Al-Khawarzmi Distinguished Visiting Professor, Statistics
Professor Genton’s pioneering research on large-scale spatial and temporal data has profoundly affected the field of environmental statistics. He is an expert in spatial and spatio-temporal statistics with applications to environmental problems.

Dmitry Lyakhov

Dmitry Lyakhov is a Research Scientist at the Visual Computing Center (VCC) in King Abdullah University of Science and Technology (KAUST), working with Professor Dominik Michels in the Computational Sciences Group (CSG). Education and Early Career Dmitry Lyakhov graduated from Belarusian State University with a master's degree in Theoretical Physics and, later on, a Ph.D. in Mathematics. He is also an alumnus of the National Academy of Sciences of Belarus and visiting scholar of von Karman Institute for Fluid Dynamics. In 2018, he received a Nanodegree in Machine Learning. Before joining KAUST

Athanasios Tzavaras

KAUST Professor of Applied Mathematics and Computational Science Athanasios (Thanos) Tzavaras specializes in mathematical modelling, analysis and computation of partial differential equations pertaining to fluid mechanics or modeling of materials.

Abdelrahman Said Abdelrahman Mohammed Abdelrahman

Intern (former), Information Science Lab
Remote Internship at King Abdullah University of Science and Technology (KAUST).