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