Jakob von raumer
How Interactive Theorem Provers Make Computer Programs and Proofs Safe and Secure

Computer Scientist, Jakob von Raumer, IPD

link
researchseminars
MathSEE Research Seminars
PhD Seminar
MathSEE PhD Seminar

Starts October 23. Every Second Monday. SR 1.067, Mathematics Building 20.30. Join Us!

More Information

"Mathematics in Sciences, Engineering, and Economics"

Das KIT-Zentrum "MathSEE" (Mathematics in Sciences, Engineering, and Economics) bündelt seit Oktober 2018 die interdisziplinäre mathematische Forschung am KIT. Der Sonderforschungsbereich 1173 "Wellenphänomene: Analysis und Numerik" und andere bestehende Kooperationen bilden die Grundlage für die Entstehung von MathSEE. Unsere Mitglieder ab dem Karrierelevel Promovierende arbeiten in Austauschformaten und interdisziplinären Forschungsprojekten in Methodenbereichen zusammen. Unsere Graduiertenschule MathSEED bietet ein umfassendes Programm für Promovierende und Masterstudierende zur Förderung der interdisziplinären Nachwuchsausbildung. Das Angebot von MathSEE stärkt die interdisziplinäre mathematische Forschung am KIT und deren Sichtbarkeit.

"Aktuelle Meldungen aus KIT-Zentrum MathSEE"

stodden
Humboldt Research Award 2025

The recipient of the KIT Excellent Scholarship, Prof. Victoria Stodden, has been awarded the Humboldt Research Award 2025 in recognition of her entire life's work, which focuses on discoveries, theories, or insights that have significantly influenced her field. She is currently dedicated to raising awareness of the socioeconomic significance of dependence on artificial intelligence and highly complex computer-based conclusions in the face of ever-increasing amounts of data. She is a MathSEE Distinguished Professor, currently working at HITS Heidelberg, and gave a research lecture for MathSEE and a workshop for doctoral students on the topic of the increasing influence of AI in research:

More Information
klein nadja
Emerging Leader Award 2025 | Committee of Presidents of Statistical Societies (COPSS)

Nadja Klein received the coveted Emerging Leader Award 2025 for her contribution to statistical sciences, which spans Bayesian deep learning, computer-assisted methods, and spatial statistics. She is only the fourth researcher outside the US to be honored with this award in the history of the prize.

More Information
donoso
European Students Grant

Felipe Donoso, who is supported by MathSEE's PhD Bridge Program, has received a European Students Grant to attend the 16th International Particle Accelerator Conference (IPAC'25).

More Information
Dörich
KIT Junior Research Group | Numerical Methods for Nonlinear Optics

The junior research group “Numerical Methods for Nonlinear Optics” is led by Dr. Benjamin Dörich and funded by the Collaborative Research Center Wave Phenomena. The research focuses on the numerical treatment of electromagnetic waves described by Maxwell equations and interacting with two-dimensional materials such as graphene. The numerical treatment of the Ginzburg-Landau equations of superconductivity is being investigated. The goal is a finite element discretization that reliably resolves the vortex structures induced by external magnetic fields. Finally, the temporal, spatial, and complete discretization of various nonlinear wave (type) equations will be analyzed. The group also started in April 2025.

More Information
Martin Halla
New Emmy Noether Group | Numerical Methods for Wave Equations

Dr. Martin Halla's junior research group, which began its work in February 2025, develops and analyzes numerical methods for wave propagation problems. A particular focus is on the numerical treatment of non-standardized electromagnetic partial differential equations (PDEs), such as those that arise in the development of novel qualitative inverse scattering methods. In addition, the group investigates and develops transparent boundary conditions for the simulation of PDEs in unbounded domains.

Link_more
B Unger
Tenure-track professor for numerical mathematics | Data-driven methods for partial differential equations

TT-Prof. Benjamin Unger and his research group are working on surrogate models for dynamic systems. Their primary research goal is to develop new methods for constructing surrogate models and equipping them with error certificates, i.e., a guarantee that the prediction error is below a certain tolerance. To achieve this, the mathematical and physical properties of the dynamic system, such as stability or passivity, are used and embedded in the surrogate model. The group focuses on surrogate modeling techniques such as model order reduction and machine learning algorithms. The group started in April 2025.

More Information
LBRG
Spring School in Marseille, Frankreich

The Lattice Boltzmann Group, affiliated with the KIT MathSEE Center, successfully concluded its 8th Spring School on May 27, 2025, in Marseille, France, with a record number of 105 participants from 18 countries. Theory and practice of Lattice Boltzmann methods formed the basis of the school, which is closely related to the research focus of the EU project FALCON.

More Information
New research project | Advanced integration of mathematical geosciences and artificial intelligence for the simulation and prediction of extreme geological events

The project aims to understand, simulate, and predict extreme geohazards. The five-year collaborative project, involving ten countries and funded by the National Natural Science Foundation of China (NSFC), began in April 2025 and will run until March 2030. The project is led at KIT by Dr. Alik Ismail Zadeh.

FLowsLBRG-KIT
New BMBF Project on condensation intensification by droplet formation

Lattice Boltzmann Research Group at KIT in cooperation with Modeling and Simulations Lab at AGH Poland have received funding for the project "Direct contact condensation intensification by droplet formation during the disintegration of a liquid jet in a gaseous medium" from the DFG for a duration of 4 years starting November 2024.

 

More Details
News 1541

News 1540

Poster Prize
Best poster prize at MathSEE members assembly

At the MathSEE assembly which took place on October 20, the best poster was awarded to Felix Reinke, a MathSEE member, from the Institute for Mechanical Process Engineering and Mechanics for his contribution on "Applied geometry optimization of a novel 3D- printed wet -scrubbler nozzle  with Lattice Boltzmann Methods".

Further Information

Kalender 1727

9th Spring School | Lattice Boltzmann Methods

9th Spring School | Lattice Boltzmann Methods

23. März 2026University of Liverpool (UOL), Rendall Building, Liverpool L69 7WW, United Kingdom
Objective The spring school introduces researchers and users from industry to the theory of LBM and trains them on practical problems. Option B: the first half of the week is dedicated to theoretical fundamentals up to ongoing research on selected topics in kinetic theory, scientific computing, LBM, and Partial Differential Equations (PDE). Followed by mentored training on case studies using OpenLB in the second half of the week. Emphasis is placed on the modelling and simulation of particulate, multi-component, and turbulent fluid flows. Option A: Advanced OpenLB users and developers are enabled to solve their own application problems and implement their own solution approaches.
This educational concept is unique in the LBM community and offers a comprehensive and personal guided approach to LBM. Participants also benefit from the knowledge exchange during the poster session, coffee breaks and an excursion.
 
Executive committee John Bridgeman (UOL), Davide Dapelo (UOL), Mohaddeseh Mousavi Nezhad (UOL), Shota Ito (LBRG/KIT), Mathias J. Krause (LBRG/KIT), Stephan Simonis (ETH Zürich)  
Host Organization University of Liverpool (UOL)
 
Venue University of Liverpool (UOL), Rendall Building, Liverpool L69 7WW, United Kingdom
 
The Field of Lattice Boltzmann Method Lattice Boltzmann Methods (LBM) are an established numerical technique for Computational Fluid Dynamics (CFD) and beyond. The simulation of complex multi-physics benefits strongly from the mesoscopic modelling of LBM and positions it next to traditional numerical methods. The rapid development in LBM – also driven by the emergence of massive parallel computing infrastructure – enables engineers to solve relevant problems for academia as well as for industry.
 
Target audience The expected attendees are developers and researchers, from industry and academia interested to learn theoretical and practical aspects of LBM. The spring school addresses e.g. engineers, computer scientists, mathematicians and physicists as well as Master and PhD students. The course level is either beginners (Option B) or advanced (Option A). Based on the interest in CFD, this course provides a collaborative platform for LBM, both for developers and researchers.

zum Eventkalender