I am a PhD student in Computer Science at ENS Cachan - Brittany Extension working in the Celtique team at Irisa (INRIA Rennes).

I am working on the interactions between provably correct program transformations and static analysis.



Contact me

delphine.demange(@)irisa.fr