Doctor in Computer Science

Education

University

National Research Institute in Computer Science and Automation (INRIA, team Cassis) and Department of Computer Science for Complex System (DISC, team Vesontio), respectively at Besançon and Nancy, France:

University of Sciences and Techniques at Besançon, France:

Secondary

High school Jules Viette at Montbéliard, France:

  • High school diploma, Life and Earth Sciences speciality.

Self-taught

Training in various Computer Science domains.

Research publications

Important works

Engineer at Liip

We consult, design, develop, follow-up

Worked on Piaget.com, a multi-national e-commerce application:

Creating The Accessibility Machine:

Engineer at fruux

Sync contacts, calendars & tasks, powers millions of users world-wide

Worked under the authority of Evert Pot:

Intern at Mozilla Foundation

Building a better Internet, promote openness, innovation & opportunity

Worked under the authority of Paul Rouget, during 6 months:

Since this internship: Many bug reports, hacks and little projects during my spare time.

Hoa

A modular, extensible and structured set of PHP libraries; aims at being a bridge between industrial and research worlds

Creator and lead developer of the Hoa project:

Industrial talks and events

Open source

Release manager and contributor of:

  • Hoa, a modular, extensible and structured set of PHP libraries,
  • atoum, a simple, modern and intuitive unit testing framework for PHP,
  • pickle, the PHP extension installer,
  • Tagua VM, is an experimental PHP Virtual Machine that guarantees safety and quality by removing large classes of vulnerabilities thanks to the Rust language and the LLVM Compiler Infrastructure.

Contributor of:

Communities

  • AFUP, member of the french PHP non-profit foundation,
  • W3C, invited expert at HTML5 and WebApps working groups,
  • PHPFrance, “VIPHP” in the french community of PHP.

Languages

I have created

  • Praspel: A specification language for contract-based testing,
  • PP: A grammar description language for an LL(k) compiler compiler,
  • XYL: A graphical language inspired from HTML and XUL,
  • MiniJaja: A school-project, a Java-like language with an associated VM (JVM-like), type checker, memory manager etc.

I know and use

  • markup XML, HTML, RDF, DOM,
  • object PHP, Java,
  • functional C, Javascript, Scheme,
  • structural JSON, YAML,
  • relational PL/SQL,
  • modelisation UML, B-Method, Event-B,
  • specification Praspel, JML, OCL, ACSL, Spec#,
  • graphical CSS, XYL, XUL, MCSS,
  • vectorial SVG,
  • human English, French.
  • markup XSLT, XSD, Doctype, XSL-FO, Latex,
  • object Rust, C++,
  • functional Caml, Python, LISP,
  • low-level LLVM, MIPS,
  • script Zsh, Bash, Batch, Lua,
  • vectorial PGF,
  • artificial intelligence Prolog.
  • markup SMIL,
  • object C#,
  • functional and object Ruby, Haskell, Perl,
  • human Arab, German.

Extracurricular activities

  • Hack, hack, hack (software, hardware…),
  • Photography,
  • Trips,
  • Discover new cultures,
  • Hack, hack…