Thank you for visiting my GitHub Profile!
Iβm currently working as a Embedded Software Engineer at Commend in Austria where I have the opportunity to work on amazing projects in Rust.
I graduated my Bachelor degree in Computer Science at the Computer Science department of the Paris Lodron University in Salzburg, Austria. My bachelor thesis "Exploring Reasoning Performance of RISC-V Software Models in BTOR2" can be found in the repository of the selfie project. The thesis was awarded by the company teampool as one of the three best bachelor theses of our department in the academic year 2023/24.
My special interest is the Rust programming language. Currently working with @mhatzl on a new markup language with the goal to have a modern alternative to LaTeX. The implementation of the compiler is being written in Rust. Some other projects I wrote are mathemascii, alemat and ribbon.
You can reach me here on Github, per e-mail: [email protected] or LinkedIn.