hi! i'm max and this is my site.
about
previously i was a student at the technical university of munich. i wrote my master's thesis on a verified compiler in isabelle (ask me about it!).
enjoyer of climbing things, warm lighting, small lamps, functional programming, embedded dsls, taking trains, taking trams, fluffy creatures, fonts, pretentious music, jazz fusion
hire me!
i want to work on interesting problems! im interested in mobility, especially beyond the automotive branch, or anything that makes real hardware move, blink, or beep. i have experience with functional programming for software that needs to be correct (ocaml, isabelle/hol, haskell), as well as low-level bits (c++, c), and the glue (docker, python).
you can find my cv here
my things
these are some things i've made or worked on- EXZELLENZ font
- windows95 theme for grub2
- raindrain, a game demo in godot made as part of hackatum 2024
contact etc.
max@maxthomaslang.de | @mxl@is.nota.live (fediverse/mastodon) | just-max (github) | Max_Lang027576 (xing)
