I am a reasearch assistant of Computer Science at Technische Universität Darmstadt working towards his PhD. My main focus of study seems to be formal verification of Rust, but maybe that will change. Who knows?
On here I write about whatever interests me. This includes politics, philosophy, web development, computer science, and open source software.