Welcome
I am a PhD student at the Edinburgh Center for Robotics’ Robotics and Autonomous Systems (RAS) CDT under the supervision of Prof. Ekaterina Komendenstkaya, Prof. Kathrin Stark and Dr. Grant Passmore.
My research focuses on applying formal methods to guarantee safety properties of autonomous systems, especially those using learning-enabled components like neural networks.
As part of the RAS CDT, I am affiliated with Heriot-Watt University and the University of Edinburgh and I am sponsored by Imandra. I currently split my time between the Heriot-Watt campus, Imandra’s Edinburgh offices.
Previously, I obtained an Master’s degree in Software Engineering at Epitech in France and an MSc in Data Science from Heriot-Watt University.
Writings
- Desmartin, R., Passmore, G., Komendantskaya, E., & Daggit, M. (2022). CheckINN: Wide Range Neural Network Verification in Imandra. Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming.
- Desmartin, R., Passmore, G., & Kommendentskaya, E. (2022). Neural Networks in Imandra: Matrix Representation as a Verification Choice. Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 78–95.
- Desmartin, R., Isac, O., Passmore, G., Stark, K., Komendantskaya, E., & Katz, G. (2023). Towards a Certified Proof Checker for Deep Neural Network Verification. In R. Glück & B. Kafle (Eds.), Logic-Based Program Synthesis and Transformation (pp. 198–209). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-45784-5_13
Talks and Posters
- Formal Verification for Safer Learning-Enabled Autonomous Systems, Robotics and Autonomous Systems CDT Conference 2024 (Poster) (pdf)
- FoMLas ‘22
- LAIV
Events
Here are the conferences, workshops and schools that I have attended:
- LOPSTR 2023: Cascais
- TAROS 2023: Cambridge
- FoMLas 2023: Paris
- Midlands Graduate School 2023: Birmingham
- POPL 2023: online
- PPDP 2022: 20-22 September 2022, Tbilisi
- FoMLas 2022: online
- TYPES 2022: France