Sabine Schmaltz is a Principal Software Engineer at Tarides since September 2019. Sabine previously worked as a PostDoc and PhD Student at Saarland University from October 2007 to April 2014. Sabine holds a MSc in Computer Science from Universität des Saarlandes, earned between 2002 and 2007. Sabine is focused on creating language models for formal verification of system-level C-code on multicore architectures, specifically x64, and coordinating the development of model stacks for formal correctness proofs in a multicore environment with an optimizing compiler.
Org chart
Sign up to view 0 direct reports
Get started
