Stefan S. is a Formal Verification Engineer currently working at Apple. They previously served as a Product Engineer at Cadence Design Systems from 2014 to 2023, where they focused on Jasper, the firm's formal verification software. Prior to that, Stefan held various engineering roles at Jasper Design Automation and OneSpin Solutions, after completing their PhD at Graz University of Technology in 2007. They earned a Dipl.-Ing. in Telematics from the same institution in 2003.
This person is not in the org chart
This person is not in any teams
This person is not in any offices