Charlie JACOMME

Phd Student

Research

I am currently working on a thesis on formal methods applied to protocols security, under the direction of Hubert Comon and Steve Kremer.

Teachings 2017/2018

TATA

I am teacher assistant for the TATA course. Informations are available on the MPRI wiki.

The exercices are here : td1 td2 td3 td4 td5 td6

And solutions and hint are here : td1 td2 td3 td4 td5 td6

Advanced Complexity

I am teacher assistant for the advanced complexity course. Informations are available on the MPRI wiki.

The exercices are here : td1 td2 td3 td4 td5 td6 td7

And the solutions are here : td1 td2 td3 td4 td5 td6 td7

About LSV

Contact

Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-106
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
charlie (dot) jacomme (at) lsv.fr