Patrick Henriksen is a Formal Verification Engineer at Apple, where they focus on the formal verification of hardware. With several years of experience in formal methods for machine learning, Patrick has also held roles in AI/ML security as a Senior Research Engineer at Safe Intelligence. They completed a Research Internship at Norsk Regnesentral, where they designed automated login solutions, and another internship at Forsvarets forskningsinstitutt, assessing UAV applications in road tunnel fires. Patrick earned a PhD in Safe and Trusted AI from Imperial College London, achieving notable recognition for their thesis, which was accepted without corrections.
This person is not in the org chart
This person is not in any teams
This person is not in any offices