Julia Markus Himmel

Mathematics and computer science

Last update: 2026-06-19

A quick update:

  • Being trans is great.
  • I am still working on Lean’s standard library and get to work towards making production-ready formally verified software a reality. I am very grateful that I can work with a great team on such an exciting project.
  • I am still chasing after a 3 hour marathon. I very slightly improved my PB in April (3:05:46 to 3:05:35) and will try again in September.