Liens scientifiques

Notre groupe de recherche à l'Irisa : Galion (Graphes Automates, Logique et vérificatION).

Une revue scientifique ouverte: Logical Methods in Computer Science. Son comité d'édition.

Quelques pages personnelles :

Jean Berstel

Thierry Cachat

Didier Caucal

Thomas Colcombet

Damian Niwinski

Géraud Sénizergues

Colin Stirling

Wolfgang Thomas

Logiciels Libres

Association : Idile (Promotion du Logiciel libre sur le campus de la cité Descartes (à Marne-la-Vallée)).

J'utilise à des fins professionnelles et personnelles le système d'exploitation GNU/linux. Et plus particulièrement la distribution Mandrake.

Quelque logiciels:

OpenOffice.org (Traitement de texte)

Mozilla (Navigateur/Mail)

Python (Langage de programmation)

Xemacs (éditeur de texte)