Curriculum Vitae

Personal

Alix Trieu.
Born on June, 4th 1991 in Aubervilliers, France.
Currently studying at ENS Rennes.
Contact at firstname.lastname@ens-rennes.fr


Education

2013 - 2015

Received a Master's Degree in Computer Science at Université Rennes 1.

2012 - 2013

Received a Bachelor's Degree in both Computer Science and Mathematics at ENS Rennes and Université Rennes 1.

2009 - 2012

Classes préparatoires at Lycée Fénelon in Paris.
Classes préparatoires are an intensive program preparing for competitive examinations in order to enter French grandes écoles.

2009

Obtained the French Baccalauréat (High School Diploma) in Sciences.

Work Experience

February, 1st to June, 30th 2015

Master Research Internship under the supervision of Sandrine Blazy in the Celtique team at INRIA/IRISA Rennes. Formal verification of code obfuscations in Coq

May, 19th to August, 14th 2014

Research Internship on SUPPL, the Simply Unified Policy Programming Language under the supervision of Robert Dockins and Andrew Tolmach at Portland State University. Static conflict detection for a policy language.

June, 3rd to July, 26th 2013

Research Internship under the supervision of Sandrine Blazy in the Celtique team at INRIA/IRISA Rennes. Study in Coq of program obfuscation semantics.

Publications

Static conflict detection for a policy language

Alix Trieu, Robert Dockins and Andrew Tolmach, JFLA 2015.

Knowledge

Spoken languages

French: Native
English: Good level, TOEIC: 975/990 (2013).

Programming languages

Coq, Haskell, LaTeX, OCaml.

Other softwares

Git, SVN.