User:Yoric~enwiki

= Business card =

= Brief history =
 * 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 =

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
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
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
 * HTML
 * Matlab
 * Prolog.

= Skills =

Despite the abundance of symbols, I am quite litterate, albeit perhaps not in English.

= Links =


 * Lab
 * Home page