Patrick Henriksen

My PhD project is verification of Neural Networks. Research into safe and trusted AI is sorely lacking, especially now that AI is being implemented in more and more safety-critical applications. In the STAI CDT I hope that I can contribute to the field and make a difference. I like the community and working together with several other students that are passionate about the same subjects as I am.  

I’ve had little research experience outside the CDT, mostly my master thesis and two summer internships. One of the internships was at the Norwegian defence research establishment and the second at Norwegian computing centre. 

Achievements: I have a paper proposing a novel verification algorithm for neural networks accepted at ECAI 2020.