Writings

2010 Unix system programming in OCaml >>

Translation of the course on Unix system programming in OCaml.
2006 Il existe des fonctions incalculables ! >>

A simple proof showing the existence of uncomputable functions.
2005 Protocol composition frameworks: a header-driven model >>

A technique to solve composition problems in protocol composition frameworks.
2001 Fault-tolerant structures: towards robust self-replication in a probablilistic environment >>

A technique for fault-resistant cellular automata rules.