Explore projects

slides for talk about https://doi.org/10.1007/978-3-032-10444-1_7

Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025

KIT-CA interfaces that are exposed to users (mails, PDF forms, etc.).

2D elastic full-waveform inversion

A LaTeX template for BSc and MSc theses at the Geophysical Institute, KIT.