My main interests at the moment range from compilers and all things performance to software verification and different logics. I also do a lot of research about the intricacies of the Rust programming language in my free time and at uni. I'm currently pursing a Masters degree in Logic and Computation at TU Wien(Techical University of Vienna)