Michael Soegtrop is a Formal Verification Architect at Apple, focusing on end-to-end formal verification for embedded and RF systems. With extensive experience in developing and optimizing multimedia codecs and rendering systems, Michael was instrumental in designing one of the fastest JPEG decoders globally and implementing a new user interface rendering system. Previously, they held key engineering roles at companies including Intel and Infineon Technologies, where they contributed to software reliability and multimedia systems. Michael earned a Diplom in Computational Quantum Physics from Ludwig-Maximilians Universität München, demonstrating a strong foundation in complex system verification.
This person is not in the org chart
This person is not in any teams
This person is not in any offices