Adrien KOUTSOS

PhD Student

Research

I am currently a PhD Student under the supervision of Hubert Comon. I'm doing my thesis about automated proofs of computational indistiguishability properties for security protocols.

Teaching

Probabilistic Aspects of Computer Science

Complexité L3

Le sujet du DM, à rendre avant 14h le mercredi 20 janvier: sujet

About LSV

Contact

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