Remi Desmartin
I graduated from Heriot-Watt in 2021 with a MSc Data Science degree. For my master's thesis, I worked on formalising fully-connected and convolutional neural networks in Imandra and verifying diverse properties on them, which won the Computer Science Prize for Best MSc Dissertation. My main research interest is neural network verification, i.e. how to guarantee the safety of neural networks in order to produce trustworthy autonomous systems.