I'm currently in post-doc at LORIA (Nancy), in the PESTO team. I'm working with Steve Kremer and Vincent Cheval on equivalence relations for probabilistic applied pi-calculus.

  • Probabilistic (higher-order) computation
  • Semantics of programming languages
  • Metrics for Programs

raphaelle.crubille@inria.fr