This seminar is organized by the Scientific Computing group of CWI Amsterdam. The focus is on the application of Machine Learning (ML) and Uncertainty Quantification in scientific computing. Topics of interest include, among others:
- combination of data-driven models and (multi scale) simulations
- new ML architectures suited for scientific computing or UQ,
- incorporation of (physical) constraints into data-driven models,
- efficient (online) learning strategies,
- using ML for dimension reduction / creating surrogates,
- inverse problems using ML surrogates,
and any other topic in which some form of ML and/or UQ is used to enhance (existing) scientific computing methodologies. All applications are welcome, be it financial, physical, biological or otherwise.
For more information, or if you'd like to attend one of the talks, please contact Wouter Edeling of the SC group.
Schedule upcoming talks
16 April 2026 11h00: Joey Dekker (TU Delft) : Mantis.jl: FEEC-based structure-preserving discretisations in Julia
Structure-preserving discretisations aim to retain, at the discrete level, fundamental invariants and geometric structures of partial differential equations (PDEs). Typical examples include conservation of energy, momentum, and helicity for the Navier–Stokes equations, and potential enstrophy for the shallow-water equations. Beyond their conceptual relevance, such discretisations often lead to concrete numerical advantages, including enhanced stability, the elimination of spurious modes, and improved long-time accuracy.
The Finite Element Exterior Calculus (FEEC) framework provides a rigorous mathematical foundation for the construction of structure-preserving finite element discretisations. FEEC is based on the identification and discretisation of Hilbert complexes underlying the continuous problem, such as the de Rham complex — with applications in electromagnetics or diffusion problems — and the elasticity complex. Its formulation relies heavily on differential-geometric concepts: physical fields are represented as differential forms, differential operators are unified through the exterior derivative, and constitutive and metric relations are encoded via Hodge-⋆ operators.
Most existing finite element libraries are built around classical vector-calculus formulations and incorporate FEEC concepts indirectly. While effective, this approach often requires ad hoc constructions to recover the underlying geometric structure, and can complicate the generalisation to higher dimensions, non-standard function spaces, or complex geometries.
Mantis.jl is a Julia finite element library designed natively around the FEEC paradigm. It provides a flexible environment for formulating and discretising PDEs directly in the language of exterior calculus, supporting arbitrary spatial dimensions and a wide range of discrete function spaces.
2 April 2026 11h00: Chris Cade Fermioniq: Tensor network methods for PDE-solving
Tensor network methods, which have long been state-of-the-art for simulations of quantum physics, are recently finding success for other types of simulation, most notably for computational fluid dynamics. These methods promise significant memory and runtime reductions for large-scale simulations of physics via PDE-solving, unlocking modelling capabilities that have so far remained out of reach of conventional approaches.
In this tutorial we will give an introduction to tensor network methods in the context of PDE solving. We will explain why the approach makes sense and what we can expect to gain from it. We can also share some recent results obtained by Fermioniq in collaboration with Deltares and NLR.
To give engineers access to the technology, Fermioniq has developed a software library that allows for rapid prototyping and implementation of models, with GPU and tensor network acceleration supported out of the box. We will briefly highlight the role that this software played in our ongoing research and development, and conclude with a short demonstration.
19 March 2026 11h00: Daniele Avitabile (VU Amsterdam): Inferring Parameters and States in Neurobiological Networks
The study of cortical dynamics during different states such as decision making, sleep and movement, is an important topic in Neuroscience. Modelling efforts aim to relate the neural rhythms present in cortical recordings to the underlying dynamics responsible for their emergence. We present an effort to characterise the neural activity from the cortex of a mouse during natural sleep, captured through local field potential measurements. Our approach relies on using a discretised Wilson–Cowan Amari neural field model for neural activity, along with a data assimilation method that allows the Bayesian joint estimation of the state and parameters. We demonstrate the feasibility of our approach on synthetic measurements before applying it to a dataset available in literature. Our findings suggest the potential of our approach to characterize the stimulus received by the cortex from other brain regions, while simultaneously inferring a state that aligns with the observed signal.
12 February 2026 11h00: Anne Reinarz Decoupling Models and UQ Workflows with UM-Bridge
Modern uncertainty quantification (UQ) workflows often depend on complex computational models that are tightly coupled to specific inference algorithms, making experimentation, reuse, and long-term maintenance difficult. UM-Bridge (Uncertainty Quantification and Modeling Bridge) addresses this challenge by providing a lightweight, language-agnostic interface between models and UQ methods. Using a simple HTTP-based protocol, UM-Bridge allows forward models written in any language to be exposed as services and accessed by a wide range of UQ tools without modification. This decoupling simplifies development, improves reproducibility, and enables collaboration across domains and software ecosystems. In this talk, I will give an overview of the UM-Bridge interface and highlight recent developments in the software.
The capabilities of UM-Bridge are demonstrated through a case study on Bayesian inversion for tsunami source detection using buoy or hydrophone data. Our initial approach relied on a monolithic software stack that tightly integrated the forward model and UQ components. The forward problem was solved using an ADER-DG method, while inference was performed with a multilevel Markov Chain Monte Carlo (MLMCMC) algorithm. This approach proved difficult to scale due to complex dependencies in the parallelisation approach and HPC infrastructure.
To overcome these limitations, we transitioned to a modular architecture enabled by UM-Bridge. This approach allows the use of Gaussian Process surrogate models as efficient coarse-level approximations and supports more advanced MCMC strategies within a multilevel framework. It enables the incorporation of richer physical descriptions such as acoustic wave propagation. I will conclude the talk by discussing recent developments in this application and their implications for tsunami source detection and uncertainty-aware early warning systems.