I'm PhD student at IRIF, in the PPS team (Université Paris 7).
My PhD advisors are Thomas Ehrhard (Université Paris 7) and Ugo Dal Lago (Universita di Bologna).

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

rcrubille@pps.univ-paris-diderot.fr
Office 3033, Batiment Sophie Germain