MaMpf

Mathematical Research Engineer working on Lean's mathlib4 and autoformalization of algebraic geometry. Formerly postdoc @ Heidelberg U & NIH, PhD @ Indiana U.

Mathlib Initiative Shenzhen

Splines Splines

Computer Science (B.Sc.) & Physics (B.Sc.). Studying physics (Master) at Heidelberg University right now. Love science, coding, nature and to make music.

Uni Heidelberg, ex @SAP

Users following MaMpf-HD