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...
