Utilisateur:Virgile

Un article de Wikipédia, l'encyclopédie libre.

Biographie rapide

  • Docteur en informatique
  • actuellement en post-doc à Sarrebruck
  • pour en savoir plus sur moi, le plus simple c'est d'aller voir là:

http://www.mpi-sb.mpg.de/~prevosto

  • (private joke, désolé) Non, Virgile n'est pas un surnom. C'est mon vrai prénom

Mes centres d'intérêts

  • l'informatique, et surtout
    • les langages de programmation, surtout fonctionnels, dont ocaml, bien sûr
    • la logique et les preuves assistées par ordinateur
    • plus généralement, tout ce qui est un peu théorique
  • l'histoire
  • la BD, surtout franco-belge
  • me balader en montagne, que ce soit à pied ou à VTT

Liens Wikipédia

Histoire de pouvoir rapidement mettre la main dessus...