Business card

edit
PhDThis 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

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

Skills

edit
C-3This user is an advanced C programmer.
BASICThis user can program in BASIC.
C++This user can program in C++.
hsThis user can program in Haskell.
JavaThis user can program in Java.
ocaml-This user can program in OCaml.
pasThis user can program in Pascal.
bashThis user can program in Bash.
bat-1This user is an occasional Batch programmer.
 
This user can write Cascading Style Sheets.
<html>This user can write HTML.
 This user can program in JavaScript.
reThis user writes regular expressions.
STThis user can program in Smalltalk.
TeXThis Wikipedian is a TeX user.
{{Wiki}}This user can write in the MediaWiki language.
XMLThis user can write XML.
xhtmlThis user can write XHTML.
XULThis user can code in XUL.
W3CThis user believes in compliance with W3C standards.

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

Links

edit