Charlie JACOMME

Phd Student

Research

I am currently working on a Thesis (since September 2018) on formal methods applied to protocols security, under the direction of Hubert Comon and Steve Kremer.


My topics of interest include:

Teachings 2018/2019

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

And the solutions are here : td1 td2 td3 td4 td5

TP - programmation 1

All the ressources are here.

Agreg

Some ressources are here.

Software Engineering

See David Baelde's webpage.

Some presentations

Others

My gpg public key

About LSV

Contact

Charlie JACOMME
Address
LSV, CNRS & ENS Paris-Saclay
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