Events

Jan 10 - Jan 16, 2027

• 

  KAUST Rising Stars in Robotics

  Jan 12, 08:00 - 17:00

  KAUST

  robotics autonomous control

  The Rising Stars in Robotics Symposium will convene emerging researchers working across robotics to exchange research, build connections across disciplines and explore new directions in robotics research and applications.

Nov 29 - Dec 5, 2026

• 

  Knowledge-based Methods in Bioinformatics

  Robert Hoehndorf, Associate Professor, Computer Science

  Nov 29, 10:00 - 11:30

  B2/3 A0215

  bioinformatics artificial intelligence knowledge representation Knowledge representation and reasoning Computational Intelligence scientific computing

  This colloquium will discuss how the latest advances in knowledge representation and reasoning at the Bio-Ontology Research Group (BORG) at King Abdullah University of Science and Technology (KAUST) can turn accumulated biological knowledge into a computational resource for scientific discovery.

Nov 22 - Nov 28, 2026

• 

  Navier-Stokes and Euler Equations, and Certain Geophysical Models - Course Lecture 4

  Edriss S. Titi, Professor, Department of Applied Mathematics and Theoretical Physics, University of Cambridge (Cam)

  Nov 25, 15:00 - 16:30

  Location shared with registered participants

  Navier-Stokes Geophysical Fluid Modeling

  This course will cover two main topics: the Navier-Stokes and Euler equations, and the global regularity of certain geophysical flows.
• 

  Navier-Stokes and Euler Equations, and Certain Geophysical Models - Course Lecture 3

  Edriss S. Titi, Professor, Department of Applied Mathematics and Theoretical Physics, University of Cambridge (Cam)

  Nov 23, 15:00 - 16:30

  Location shared with registered participants

  Navier-Stokes Geophysical Fluid Modeling

  This course will cover two main topics: the Navier-Stokes and Euler equations, and the global regularity of certain geophysical flows.
• 

  Pre-Authentication Attacks on 5G Cellular Systems

  Ammar El Falou, Research Scientist, Computer Science

  Nov 23, 12:00 - 13:00

  B9 R2325

  5G cybersecurity DoS denial-of-service radio resource control Non-Terrestrial Networks terrestrial networks

  This talk presents pre-authentication attacks on 5G systems and proposes effective mitigation techniques.
• 

  Stochastic Numerics and Statistical Learning: Theory and Applications Workshop 2026

  Nov 22, 14:00 - Nov 26, 18:00

  Workshops

  stochastic algorithm numerical analysis statistical learning

  Bringing together experts in stochastic algorithms, numerical analysis and statistical learning.
• 

  Accelerated, Connected, Efficient: Revisiting Computing Abstractions, from Bit to Network

  Suhaib Fahmy, Associate Professor, Computer Science

  Nov 22, 13:00 - 14:30

  B2/3 A0215

  computing AI accelerators

  This talk examines the hidden cost of the abstractions computing is built on, and how the Accelerated Connected Computing Lab at KAUST is revisiting them, from arithmetic and dataflow architectures to network-attached accelerators.

Nov 15 - Nov 21, 2026

• 

  Modeling the Visual World Across Space and Time: From Observation to Interaction

  Jinjie Mai , Ph.D. Student, Computer Science

  Nov 19, 16:30 - 18:30

  Zoom Meeting 3940614410

  3D understanding scene understanding Computational modeling deep learning

  This dissertation develops methods to recover and model the visual world consistently across space and time from images and video, enabling both accurate understanding of scene geometry and coherent, event-driven video editing grounded in user intent.
• 

  Nonlinear Optimal Control and Filtering beyond the HJB Equation

  Alessandro Astolfi, Professor, Applied Mathematics and Computational Science

  Nov 19, 12:00 - 13:00

  B9 R2325

  nonlinear optimal control optimal control Filtering theory PDEs non-linear feedback

  A novel set of sufficient conditions - equivalent to the HJB equation for the solution of nonlinear optimal control problems.
• 

  Efficient Long-Form Video Understanding: Scaling Perception, Selecting Evidence, and Adapting Computation

  Shuming Liu, Ph.D. Student, Computer Science

  Nov 18, 19:00 - 21:00

  Zoom Meeting 95938664864

  scene understanding Advanced Perception reasoning Efficient AI visual computing multimodal models

  This dissertation advances efficient long-form video understanding by developing methods that allocate limited computational resources across three stages: scaling video perception, selecting relevant visual evidence, and adapting reasoning effort to individual questions.
• 

  Toward Monolithic Power Integration: β-Ga2O3 Devices and Circuits

  Ganesh Mainali , Ph.D. Student, Electrical and Computer Engineering

  Nov 18, 16:15 - 17:30

  B3 R5209

  Ultrawide bandgap materials fabrication design

  This dissertation develops beta-phase gallium oxide devices and circuits for monolithic power integration.
• 

  Navier-Stokes and Euler Equations, and Certain Geophysical Models - Course Lecture 2

  Edriss S. Titi, Professor, Department of Applied Mathematics and Theoretical Physics, University of Cambridge (Cam)

  Nov 18, 15:00 - 16:30

  Location shared with registered participants

  Navier-Stokes Geophysical Fluid Modeling

  This course will cover two main topics: the Navier-Stokes and Euler equations, and the global regularity of certain geophysical flows.
• 

  Local Formulations of Nonlocal Problems: Dispersive Tsunamis, Nonlinear Schrödinger Systems, and Absorbing Boundaries

  Carlos Andrés Muñoz Moncayo, Ph.D. Student, Applied Mathematics and Computational Science

  Nov 18, 14:00 - 16:00

  B2/3 A0215

  This thesis develops local approximations to problems whose natural formulation is nonlocal in different manners: through elliptic structure, dispersive operators, and boundary conditions.
• 

  Robust and Efficient Methods for Nonlinear Electromagnetic Inversion: Regularization, Optimization, and Learning-Assisted Strategies

  Lingqi Gao, Ph.D. Student, Electrical and Computer Engineering

  Nov 18, 10:00 - 12:00

  B3 R5209

  electromagnetic inversion optimization nonlinear electromagnetic inversion

  This dissertation develops several physics-based and learning-assisted methods to improve the robustness, capability, and computational efficiency of nonlinear EM inversion.
• 

  Adaptive Local Proper Orthogonal Decomposition via Graph Partitioning and Provable Error-Bounded Lossy Compression

  Roberto Nuca, Postdoctoral Research Fellow, Applied Mathematics and Computational Science

  Nov 17, 15:00 - 16:00

  B1 R3426

  method of snapshots lossy compression proper orthogonal decomposition singular value decomposition adaptive spatial partitioning model order reduction Low-rank approximation

  This talk introduces a spatially adaptive POD-based compression method combining hierarchical domain partitioning and local low-rank approximations for error-controlled, storage-efficient compression of spatially heterogeneous simulation data.
• 

  Advancing Monocular Depth Estimation: High-Resolution and Amodal Understanding

  Zhenyu Li, Ph.D. Student, Computer Science

  Nov 17, 15:00 - 17:00

  B1 R2202

  depth estimation geometric modeling computational imaging visual computing 3D reconstruction scene understanding Advanced Perception

  This thesis advances monocular depth estimation to develop efficient methods for recovering fine geometric details, such as object boundaries and thin structures, from high-resolution images while preserving scene-wide consistency and metric scale.
• 

  Navier-Stokes and Euler Equations, and Certain Geophysical Models - Course Lecture 1

  Edriss S. Titi, Professor, Department of Applied Mathematics and Theoretical Physics, University of Cambridge (Cam)

  Nov 16, 15:00 - 16:30

  Location shared with registered participants

  Navier-Stokes Geophysical Fluid Modeling

  This course will cover two main topics: the Navier-Stokes and Euler equations, and the global regularity of certain geophysical flows.
• 

  Trustworthy AI Begins in the Data Center

  Roberto Di Pietro, Professor, Computer Science

  Nov 16, 12:00 - 13:00

  B9 R2325

  Trustworthy AI cyber-physical infrastructure resilient cyber-physical cyber-physical systems

  Debates on trustworthy AI focus on model bias, alignment, and explainability. Yet, trust in AI is only as strong as the security and resilience of the infrastructure it runs on.
• 

  The Grid Impact of AI Data Centers: When Markets and Adversaries Shape Workloads

  Zaint A. Alexakis, Postdoctoral Research Fellow, Electrical and Computer Engineering

  Nov 15, 12:00 - 13:00

  B9 R2325

  energy stability data centers AI workloads power systems stability

  This talk explores how markets and adversaries can shape AI data center workloads, and what that means for grid stability, using market and grid simulations, hardware experiments, and real-time validation.

Nov 8 - Nov 14, 2026

• 

  Mathematical Modeling of Subsurface Fluid-Solid Interactions: From Minimal Models to Complex Dynamics

  Maryam Alghannam, Ibn Rushd Assistant Professor, Earth Systems Science and Engineering

  Nov 12, 12:00 - 13:00

  B9 R2325

  computational models fluid dynamics computational fluid dynamics

  In this talk, I will show how relatively simple mathematical models can be used to isolate the physical mechanisms governing behaviors of fluid-solid interactions.
• 

  Efficient Deep Neural Network Inference with Near-Edge Accelerator Offload

  Hao Liu, Ph.D. Student, Computer Science

  Nov 11, 09:30 - 11:30

  B2 R5220

  edge computing Efficient AI accelerators multi-stage optimization algorithm distributed computing Distributed algorithms

  This thesis develops efficient distributed inference strategies for deep neural networks that exploit near-edge accelerators through edge, near-edge, and cloud tier offloading, optimized model partitioning, and collaborative expert-based processing to achieve low-latency, energy-efficient, and accurate AI inference on resource-constrained edge systems.
• 

  AI for Sports

  Silvio Giancola, Research Scientist, Electrical and Computer Engineering

  Nov 9, 12:00 - 13:00

  B9 R2325

  AI Sports

  This talk will explore how computer vision and multimodal AI can help us understand sports, using football as a central example.
• 

  Networked Signal Processing for Large-Scale Satellite Navigation

  Xuexian Zheng, Ph.D. Student, Electrical and Computer Engineering

  Nov 9, 10:00 - 12:00

  B2 R5220

  Navigation LEO Satellite-based Communication Networks LEO Satellites GNSS localization PPP-RTK precise point positioning

  This dissertation develops a networked signal processing framework for large-scale satellite navigation, in which receivers or satellites act as graph-connected agents that process local observations and exchange compact messages with neighboring nodes.
• 

  Polytopal Element Methods In Mathematics and Engineering (POEMS) 2026

  Nov 9, 08:00 - Nov 12, 17:00

  KAUST - Auditorium between B2 & B3

  polytopal elements virtual elements Discontinuous Galerkin

  Join POEMS 2026 to explore advances in polytopal numerical methods and their applications in fluid-structure interactions, porous media, geoscience, biology and fracture mechanics.
• 

  Key Devices and Applications of Visible Light Communication for 6G

  Zengyi Xu, Postdoctoral Research Fellow, Electrical and Computer Engineering

  Nov 8, 12:00 - 13:00

  B9 R2325

  GaN GaN-based LED MIMO vlc Visible light communications communication systems

  This talk will explores a joint theoretical modeling method for GaN‑based light‑emitting diodes, develops high‑speed integrated LED transmitter chips, implements high‑performance GaN‑based short‑wavelength photodetector receivers for multi‑access MIMO VLC networks, and pioneers a perovskite superlattice fluorescent‑antenna‑based wide‑field‑of‑view receiver to break the rate‑field‑of‑view‑effective‑area trade‑off limitation of VLC receivers.

Nov 1 - Nov 7, 2026

• 

  Aeroacoustic Noise Prediction: From Low- to High-Fidelity Modelling

  Luca Galimberti, Ph.D. Student, Applied Mathematics and Computational Science

  Nov 5, 12:00 - 13:00

  B9 R2325

  aeroacoustics Computational modeling aircraft noise

  This talk explores the physical mechanisms of aircraft noise generation and the computational modelling strategies used to predict and understand them across different levels of fidelity.
• 

  Wavelet-Based Modeling of Dependence Structures in Nonstationary Multivariate Time Series

  Haibo Wu, Ph.D. Student, Statistics

  Nov 4, 15:00 - 17:00

  B3 R5209

  Wavelets dynamical modeling Time Series Time Series Analysis multivariate nonstationary extreme data multivariate statistics

  This thesis develops a unified wavelet-based statistical framework for modeling time-varying, multiscale dependence structures in nonstationary multivariate time series, to establish a rigorous and versatile statistical foundation for wavelet-based dependence analysis, progressing from pairwise crossscale coherence to canonical and partial canonical coherence between sets of signals.
• 

  KAUST Statistics Research Day

  Nov 3, 08:55 - 16:30

  B19, Hall1

  Bayesian Statistics Biostatistics spatial statistics geospatial statistics computational statistics extreme statistics

  Join KAUST Statistics Research Day to explore the latest work by KAUST researchers in statistical modeling, machine learning, biostatistics and spatial analysis.
• 

  Quantum Communications

  Salama Ikki, Full Professor, Electrical and Computer Engineering Department, Lakehead University (LakeheadU), Canada

  Nov 2, 12:00 - 13:00

  B9 R2325

  wireless communication quantum communication cyber-physical systems quantum states superposition Quantum Measurements

  This seminar introduces the basic principles of quantum communication from a physical-layer perspective.
• 

  Bayesian Decision-Theoretic Privacy

  Christian P. Robert, Full Professor, Department of Applied Mathematics (CEREMADE), Paris Dauphine-PSL University;

  Nov 2, 12:00 - 13:00

  B3 R5209

  Data Privacy statistical privacy bayesian adversial privacy privacy-preserving machine learning privacy-preserving AI bayesian methods

  This seminar introduces two Bayesian decision-theoretic frameworks, persuasive privacy and Bayesian adversarial privacy, that quantify statistical privacy by evaluating how data releases influence adversarial beliefs and decisions while offering contextual alternatives to conventional differential privacy.
• 

  DLS-Based Sunlight Communication: From Theory to Prototype

  Yuxiang Liu, Ph.D. Student, Electrical and Computer Engineering

  Nov 1, 13:00 - 14:30

  B1 R4214

  optical wireless communication systems MIMO SISO energy efficiency hardware design

  This thesis presents the Sun-Fi system, an indoor OWC architecture that modulates natural sunlight through a DLS array integrated into building window glass, delivering communication, illumination, and positioning services with ultra-low transmit-side energy consumption.
• 

  On the Difficulties of Assessing Statistical Privacy

  Christian P. Robert, Full Professor, Department of Applied Mathematics (CEREMADE), Paris Dauphine-PSL University;

  Nov 1, 12:00 - 13:00

  B9 R2325

  Bayesian Statistics statistical privacy privacy bayesian adversial privacy

  This distinguished lecture examines the limitations of statistical disclosure control and differential privacy and explores robust, deliberately insufficient statistics combined with Bayesian inference as an alternative approach to protecting individuals in shared data.

Oct 25 - Oct 31, 2026

• 

  Fine-Grained Visual Representations through Sparse Selection of Localized Features

  Fatimah Zohra, Ph.D. Student, Computer Science

  Oct 30, 14:00 - 16:00

  B1 R2202

  vision transformer implicit neural representation spatio-temporal modeling Vision Foundation Models visual computing

  This thesis studies and develops sparse localized feature selection techniques for vision transformer (ViT) models to improve representation of fine-grained visual details across images and videos to capture fine-grained spatial and temporal structure that are often lost in global representations of current ViT foundation models.
• 

  Low-Dimensional Copper Halide Scintillators for X-Ray Imaging and Dosimetry

  Murilo Calil Faleiros, Ph.D. Student, Electrical and Computer Engineering

  Oct 29, 15:00 - 16:00

  B4/5 A0215

  material fabrication scintillators halides microdoping X-ray Imaging

  This thesis investigates the material, fabrication, and system-level barriers limiting the deployment of low-dimensional copper halide scintillators for X-ray detection to achieve high-performance, low-cost, and application-ready imaging, dosimetry, timing, and quality-assurance technologies.
• 

  Fourier-Spectral Methods for the Vlasov-Poisson System

  Giovanni Russo, Full Professor of Numerical Analysis, Department of Mathematics and Computer Science, University of Catania (UNICT)

  Oct 29, 12:00 - 13:00

  B9 R2325

  Vlasov-Poisson system fourier spectral methods splitting methods adaptive methods

  In this talk we present an adaptive method for the numerical solution of the Vlasov-Poisson system in one space dimension with periodic boundary conditions in both space and velocity, which is based on Fourier discretisation in x and v and on high order fractional step method in time, allowing high accuracy and efficiency.
• 

  Efficient Computation of the Semiclassical Limit of the Schrödinger Equation

  Giovanni Russo, Full Professor of Numerical Analysis, Department of Mathematics and Computer Science, University of Catania (UNICT)

  Oct 26, 15:00 - 16:00

  B1 R3426

  Schrödinger equation numerical analysis Gaussian Wave Packet initial-value problem Hagedorn wave packets

  This talk presents the Gaussian Wave Packet Transform, an efficient numerical framework for solving the semiclassical Schrödinger equation that reduces spatial and temporal stiffness, enables accurate simulation of highly oscillatory quantum dynamics in multiple dimensions, and supports efficient computation using Gaussian and Hagedorn wave packet representations.
• 

  Saudi HPC/AI Conference 2026

  Oct 26, 08:00 - Oct 28, 17:00

  KAUST

  HPC AI big data Data Analytics machine learning artificial intelligence

  Join researchers, technology experts and industry leaders to explore how HPC and AI are advancing research and innovation.
• 

  Geometry-Aware Visual Understanding and Stereoscopic Video Generation

  Jian Shi, Ph.D. Student, Computer Science

  Oct 26, 03:00 - 05:00

  B1 R2202

  3D understanding 3D reconstruction geometry modeling stereo video synthesis generative ai

  This thesis develops a geometry-aware dissolving transformation that selectively removes unnecessary fine-grained visual and geometric detail while preserving coarse structural information, to achieve more robust representation learning, higher-quality stereoscopic video synthesis, and more efficient multi-view geometry processing.
• 

  Safety Embedded Autonomy: From Barrier States to Intelligent and Differentiable Control

  Hassan A. Almubarak, Assistant Professor, Department of Control and Instrumentation Engineering, King Fahd University of Petroleum and Minerals (KFUPM)

  Oct 25, 12:00 - 13:00

  B9 R2325

  autonomous systems Advanced control systems engineering safe autonomy reliability barrier states adaptive control control systems engineering

  This talk presents a safety-embedded approach to autonomy that builds safety directly into the control dynamics through Barrier States, then extends it with adaptive and differentiable control so that autonomous systems can stay safe, adapt to changing dynamics, and improve through physical interaction.

Oct 18 - Oct 24, 2026

• 

  Reading Theorems in Lean

  Diogo Gomes, Associate Dean for Students, Computer, Electrical and Mathematical Sciences and Engineering

  Oct 22, 12:00 - 13:00

  B9 R2325

  proof assistant Computational mathematics Applied Machine Learning mathematics mathematical modelling

  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.
• 

  KAUST Workshop on AI-Enabled Microwave Sensing and Communication

  Oct 18, 08:30 - 18:45

  B9 L2 R2325

  microwave sensing coding techniques for Terahertz Integrated Sensing and Communications AI wearable and flexible antennas computational electromagnetics

  Exploring research developments and challenges across AI-enabled microwave engineering, millimeter-wave imaging, and wearable RF sensing for healthcare and communications applications.

Oct 11 - Oct 17, 2026

• 

  Solvers That Don't Choose Sides

  Esmail Abdul Fattah, Postdoctoral Research Fellow, Statistics

  Oct 15, 12:00 - 13:00

  B9 R2325

  sparse computation scientific computing programming abstractions dense linear algebra Sparse Linear Algebra sTiles

  In this talk, I will present sTiles, a direct solver that decides sparse or dense tile by tile instead of once for the whole matrix, covering the full range from sparse to fully dense and outpacing established sparse direct solvers on the repeated factorizations that drive large-scale inference.
• 

  Unbiased and Multilevel Monte Carlo Methods for Parameter Inference in Latent Stochastic Systems

  Miguel Angel Alvarez Ballesteros, Ph.D. Student, Applied Mathematics and Computational Science

  Oct 14, 11:00 - 13:00

  B2 R5209

  Monte carlo methods Monte Carlo stochastic optimization markov chains approximation

  This thesis develops efficient Monte Carlo methods for score-based parameter inference in such systems, mainly hidden Markov models driven by diffusion processes, and for the related problem of conditional stochastic optimization.
• 

  From Abstraction to Acceleration: Productive, Precision-Aware Scientific Computing

  Rabab Alomairy, Ibn Rushd Assistant Professor, Computer Science

  Oct 12, 12:00 - 13:00

  B9 R2325

  programming abstractions algorithms software/hardware co-design scientific computing HPC

  This talk explores how high-level programming abstractions, precision-aware algorithms, and hardware-conscious design can work together to accelerate scientific computing while improving productivity, scalability, and energy efficiency.
• 

  Transformers from Compressed Representations

  Juan Carlos L. Alcazar, Research Scientist, Electrical and Computer Engineering

  Oct 11, 12:00 - 13:00

  B9 R2325

  transformers representation learning TEMPEST visual computing AI machine learning

  This talk explores how transformers can effectively be trained on compressed byte streams in order to gain computational and memory efficiencies.

Oct 4 - Oct 10, 2026

• 

  Approximate Bayesian inference for structural equation models

  Haziq Jamil, Research Specialist, Statistics

  Oct 8, 12:00 - 13:00

  B9 R2325

  Laplace approximation Bayes estimators copulas R

  This talk reviews a fast approximate Bayesian SEM method that combines Laplace, variational Bayes, and Gaussian copula techniques to deliver near-MLE speed with MCMC-like inference, and is implemented in the R package INLAvaan.
• 

  Last-Iterate Convergence of Optimistic Multiplicative Weights Update

  Francesco Orabona, Associate Professor, Computer Science

  Oct 5, 12:00 - 13:00

  B9 R2325

  gradient descent operation optimistic gradient descent ascent convex optimization saddle-point problems

  This talk will show how OMWU converges asymptotically for smooth convex-concave saddle-point problems, with a small enough constant learning rate.
• 

  Integrated Learning and Optimization and Computationally Efficient Model Predictive Control for Power Systems Applications

  Imran Pervez, Ph.D. Student, Electrical and Computer Engineering

  Oct 4, 17:00 - 19:00

  B4 R5209; Zoom Meeting 96126193341

  MCP power systems integrated machine learning optimization Advanced control systems engineering

  This dissertation studies novel model predictive control and integrated learning-optimization methodologies that enable computationally efficient, robust, and scalable real-time control and decision-making in modern power systems, improving renewable microgrid operation, electricity market performance, and optimization under uncertainty.
• 

  Integrated Silicon Photonics with Quantum Dot On-Chip Lasers: Enabling Scalable and Energy-Efficient Photonic Systems

  Yating Wan, Assistant Professor, Electrical and Computer Engineering

  Oct 4, 12:00 - 13:00

  B9 R2325

  quantum dot lasers Silicon photonics photonic systems energy efficiency

  This talk presents integrated silicon photonics with quantum dot on-chip lasers that enable development of scalable and energy-efficient photonic systems.

Sep 27 - Oct 3, 2026

• 

  Finite Element Approximation of Fluid-Structure Interaction Problems

  Fabio Credali, Postdoctoral Research Fellow, Applied Mathematics and Computational Science

  Oct 1, 12:00 - 13:00

  B9 R2325

  finite element method approximation fluid dynamics Computer simulations

  We review the main strategies for the finite element approximation of fluid-structure interaction problems and then focus on one of them, the fictitious domain method, analyzing its formulation and convergence properties.