Personal Page
Hello! I'm Romain Delpy, a PhD student in Labri, Bordeaux under the supervision of Anca Muscholl and Grégoire Sutre. The subject of my thesis is about verifying message passing concurrent systems comunicating asychronously, mainly Rust programs.
Studies
- Master degree in Computer Science (Software Verification), Univeristy of Bordeaux
Center of interest
- Verification of message passing systems
- Automata Theory
- Games
Hobbies
- Game developement
- Puzzles
- Climbing