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