Actuellement doctorant en analyse statique par interprétation abstraite.
Je suis interessé par tout ce qui touche à l'analyse de programmes et la compilation de langages de programmation.