Steinhausen, Zug, Switzerland
Working at Meta - Reality Labs. Contributions on MixedReality features shipped on Quest 3, mainly on Passthrough and Depth API (real-time occlusions between real and virtual content).
Currently working on Modelling of ARM cores, with focus on validation features. I'm working on a C++ model that implements the ARM architecture.
CPEG verification engineer Worked on formal verification for a future Cortex-A CPU (OOO and multithreading). In detail, unit level formal verification of DPU block, with focus on DPU interface with data cache unit. Addressing both safety and liveness properties, X propagation and ISA-formal.