Patrick Henriksen (Preferred)
Patrick Henriksen
PhD student, Imperial College London
- Joined May 2021
Names
Emails
****@ic.ac.uk (Confirmed)
, ****@imperial.ac.uk (Confirmed)
Personal Links
Career & Education History
PhD student
Imperial College London (imperial.ac.uk)
2019 – Present
MS student
Imperial College London (imperial.ac.uk)
2018 – 2019
Undergrad student
University of Oslo, Norway (uio.no)
2014 – 2018
Advisors, Relations & Conflicts
Coworker
Yang Zheng
2019 – Present
Expertise
neural networks; deep learning; formal verification;
2018 – Present