I am a Software Engineer at Ferrous Systems since 2021. I wrote a thesis “Does Rust SPARK joy? Safe Bindings from Rust to SPARK” which excellent title completely outshines its content.

I work on the Ferrocene Delivery team, which focuses on the customer products.

I used to do a lot of embedded Rust and I did some training materials for ESP32 ARM chips. I hope to get back to my first love one day.

I live in Sweden with my family.