PatrickĀ Henriksen
Formal Verification Engineer - Hardware
London, England, United Kingdom
Summary
š¤
Seniorš
Top SchoolPatrick Henriksen is a Formal Verification Engineer specializing in hardware with nine years of experience at the intersection of formal methods, machine learning robustness, and applied research. Currently at Apple and completing a PhD in Safe and Trusted AI at Imperial College London, he previously led research engineering on AI/ML security at Safe Intelligence, applying formal verification techniques to improve model safety. His background combines rigorous mathematical training in computational science and robotics with practical research internships and industry experience, giving him a rare blend of theoretical depth and product-minded execution. Notably, he moved from ML-focused formal methods into hardware verification, signaling a widening impact on systems where provable correctness matters.
9 years of coding experience
9 years of employment as a software developer
Bachelor Robotics and intelligent systems, Bachelor Robotics and intelligent systems at University of OsloDoctor of Philosophy - PhD Safe and Trusted AI, Doctor of Philosophy - PhD Safe and Trusted AI at Imperial College London
Norwegian, German, English
Github Skills (12)
verification8
robustness8
adversarial-attacks7
mathematics6
deep-learning5
machine-learning4
neural-network4
pytorch2
deep-neural-networks1
network-analysis1
proofs1
bounds1
Programming languages (2)
Github contributions (5)
vas-group-imperial/VeriNet
Oct 2021 - Dec 2022
The VeriNet toolkit for verification of neural networks
Contributions:4 commits, 4 PRs, 8 pushes in 1 year 1 month
adversarial-attacksrobustnessdeep-learningneural-networksneural-network
pat676/PI-Universal-Remote
Jan 2018 - Jul 2018
Contributions:10 pushes, 1 branch in 6 months
Find and Hire Top DevelopersWeāve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.