Raphaëlle Crubillé
I am a CNRS researcher (CR), member of the LSC team in the LIS laboratory, at Aix-Marseille Université.
Research interests
- Probabilistic (higher-order) computation
- Semantics of programming languages
- Metrics for Programs
Contact information
raphaelle.crubille@lis-lab.fr
