Imperial College London

MrPatrickHenriksen

Faculty of EngineeringDepartment of Computing

Research Postgraduate
 
 
 
//

Contact

 

patrick.henriksen18 Website

 
 
//

Location

 

CDT space, room 402Sherfield BuildingSouth Kensington Campus

//

Summary

 

Summary

I am a PhD student at Imperial College London in the Safe and Trusted AI CDT and the Verification of Autonomous Systems (VAS) group. My supervisor is Prof. Alessio Lomuscio.  

My background includes an MSc in Computing (AI) from Imperial College and undergraduate degrees in Mathematics and Computer Science from the University of Oslo. My current research revolves around verification of neural networks.