I am a former PhD Student of Stéphanie Delaune
and Véronique Cortier.
My thesis is about automated verification of equivalence properties for security protocols.
SAT-Equiv web page is available here.
I gave programming sessions in first year at Université Paris 7 :
- Introduction to Programming (Java)
- Introduction to Programming (Python)
- Internet and Tools
- Analysis of Structured Data (Java, Jflex)