Alix Trieu.
Born on June, 4th 1991 in Aubervilliers, France.
Currently studying at ENS Rennes.
Contact at firstname.lastname@ens-rennes.fr
Received a Master's Degree in Computer Science at Université Rennes 1.
Received a Bachelor's Degree in both Computer Science and Mathematics at ENS Rennes and Université Rennes 1.
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.
Obtained the French Baccalauréat (High School Diploma) in Sciences.
Master Research Internship under the supervision of Sandrine Blazy in the Celtique team at INRIA/IRISA Rennes. Formal verification of code obfuscations in Coq
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.
Research Internship under the supervision of Sandrine Blazy in the Celtique team at INRIA/IRISA Rennes. Study in Coq of program obfuscation semantics.
Alix Trieu, Robert Dockins and Andrew Tolmach, JFLA 2015.
French: Native
English: Good level, TOEIC: 975/990 (2013).
Coq, Haskell, LaTeX, OCaml.
Git, SVN.