Business card edit

PhD

This user has a Doctor of Philosophy degree in Computer Science .

Brief history edit

Born on July 16th, 1978 in Toulouse, France.
Childhood and teen years spent in Paris, France.
Study of science in Classe Préparatoire Charlemagne, Paris, then in [École Normale Supérieure de Lyon], Lyon, France.
PhD of fundamental computer science in Laboratoire d'Informatique et du Parallélisme, Lyon, France, obtained in 2004.

Position edit

This user is an academic.

This user is a scientist.

I am lecturer in Université d'Orléans (University of Orléans, France), teaching

Java
OCaml
Database Management Systems
Mathematics for Computer Scientists
Compilers

I am also a researcher in Laboratoire d'Informatique Fondamentale d'Orléans, team Security and Distribution of Systems, where I work on

static analysis of resource-safety of network/web services
interaction between formal semantics and Linux systems programming
design of a provably safe, dynamically monitored, distributed virtual machine.

Previous position: University of Sussex edit

I have been research fellow in University of Sussex, UK, teaching

semantics of programming languages
XML-based technologies, including AJAX

At the time, I was performing research on programming languages for distributed, dynamic, sensor networks.

Previous position: École Normale Supérieure de Lyon / Université Lyon II edit

I have been PhD student in École Normale Supérieure de Lyon, performing research on static and dynamic analysis of resource-safety in process algebras.

At the time, I was teaching assistant in Université Lyon II, teaching