Michael Gehring has extensive experience in the fields of engineering and verification. From April 2015 to September 2018, Michael worked at RWTH Aachen University as both a Student Teaching Assistant and a Student Research Assistant. Prior experience includes industry mentoring at erler Automation and Robotics from September 2012 to September 2014, where Michael specialized in programming 6-axis Staeubli robots and developing user-interactive applications. Following studies at RWTH Aachen University, where Michael obtained a Bachelor of Science in Electronic Engineering and a Master's degree in Computer Engineering, roles included a Graduate Design and Verification Engineer at Arm from October 2020 to October 2021 and a Formal Verification Engineer at Apple since June 2022. This diverse background encompasses formal verification processes, microprocessor design, and system simulations, including contributions to significant projects in both academia and industry.
This person is not in the org chart
This person is not in any teams
This person is not in any offices