Accueil

Pierre

Bonjour,

je suis développeur informatique, je m’intéresse aux langages de programmation et à l’algorithmique.
Mes langages de programmations de prédilections sont OCaml et Python. Je connais aussi bien le C et le java. J’ai des notions de Prolog et de Lisp.

J’ai travaillé à l’Inria sur les bibliothèques Javalib et Sawja, permettant de faire de l’analyse de code java.

Je suis le créateur de Gufo: https://gufo.pvittet.com/. C’est un projet expérimental de langage de shell. Indépendamment de celui-ci, je crois qu’il est important d’avoir des langages et des outils permettant l’automatisation de la détection d’erreur.