Ich bin ein wissenschaftlicher Mitarbeiter an der Technischen Universität Darmstadt und arbeite auf meine Promotion hin. Mein Fokus liegt im Moment auf der formalen Verifikation von Rust, aber vielleicht wird das das noch ändern.
Hier schreibe ich über alles, was mich interessiert. Dazu gehört Politik, Philosphie, Web-Entwicklung, Informatik und Open Source Software.
Du kannst mir auch auf Twitter oder LinkedIn folgen, falls du möchtest.