Blog Posts by Tobias Reiher
Tobias Reiher
AdaCore
Tobias Reiher is a Senior Rust Engineer and the Technical Lead of the RecordFlux technology at AdaCore. With a decade of experience in designing and implementing secure systems, he is committed to creating correct software.
Mar 24, 2026
Tobias Reiher
Enabling Rust on the AMD Zynq UltraScale+ MPSoC
In this post, we’re sharing our journey of building a dedicated crate that provides support for the AMD Zynq UltraScale+ MPSoC.
May 23, 2025
Tobias Reiher
Building a Virtual Mars Rover with SPARK and Rust
We have taken our Ada Mars Rover demo, featuring a physical robot driven by formally verified SPARK software, to the next level by introducing a…