Luis Wirth

MSc CSE @ ETHz

I work on physics-inspired machine learning and structure-preserving numerical methods, leveraging differential geometry and mathematical physics.

Looking for an MSc thesis, and open to internships and collaborations in AI4Science and applied mathematics.

Ehrenpreis-Palamodov Gaussian Process for Maxwell's Equations

[Research] EPGP for Time-Harmonic Maxwell's Equations [in progress]
Joint work with Prof. Dr.-Ing. Stefan Kurz and Félix Lino Vittori
- SIAM paper (WIP)
- JAX implementation maxwellgp on GitHub:maxwellgp
- Personal theory notes: PDF · GitHub:maxwellgp-notes
[Semester Project] BEM Benchmark of the EPGP for Maxwell Cavity Scattering 2026
Supervised by Prof. Dr.-Ing. Stefan Kurz
- Thesis: PDF · GitHub:cavity-thesis
- Code
  - Cavity benchmark on GitHub:cavity-benchmark
  - EPGP for PEC Cavity on GitHub:cavity-maxwellgp
  - BEM for PEC Cavity on GitHub:cavity-bem

Formoniq — Coordinate-Free FEEC Engine

Finite Element Exterior Calculus & Differential Forms

[YT Video] What is Finite Element Exterior Calculus? 2025
- Video on YouTube
[BSc Thesis] Rust Implementation of FEEC on Coordinate-Free Simplicial Complexes 2025
"The best BSc thesis I have seen in years" — Prof. Dr. Ralf Hiptmair
- Video on YouTube
- Thesis: arXiv:2506.02429 · GitHub:bsc-thesis
[Guest Lecture] Discretization of Differential Forms for the Numerical Solution of PDEs 2026
- Video on YouTube
- Slides: PDF · GitHub:feec-pres
[Talk] Ψec: A Local Spectral Exterior Calculus 2026
- Slides: PDF · GitHub:psiec-pres

Formal Methods & Type Theory

[ZUCCMAP] Lean4 and the Curry-Howard Isomorphism 2025
- Video on YouTube
- Slides: PDF · GitHub:zuccmap2024fs