9  Autres

9.1  Compétences techniques

• Expérience de développement en vrai grandeur en C, C++ et Perl
• Grande familiarité avec le système GNU/Linux (shell, outils Unix classiques – divers filtres et awk). Expérience avec le code source du noyau Linux.
• Connaissance des langages Fortran, Pascal, Assembleur Z80 et 8086, Lisp et (un peu) Prolog.
• Intérêt particulier pour les langages fonctionnels, specialement Scheme et Objective CAML.
• Utilisation de CVS (Concurrent Version System), outil de gestion de développement logiciel en équipe.
• Administration de réseaux TCP/IP (serveurs DNS, NFS et NIS) sous systèmes Unix (plus spécialement GNU/Linux).
• Connaissance des techniques liées au web (HTTP/SSL, XML, documents dynamiques CGI/PHP/JSP/etc, systèmes de caches)
• Installation et administration de systèmes GNU/Linux.
• Simulations avec l'outil ns du Lawrence Berkeley National Laboratory de l'université de Californie à Berkeley.
• Utilisateur avancé de LaTeX. Expérience avec SGML et XML.
• Intérêt pour les aspects fondamentaux de l'informatique et ses liaisons avec les mathématiques et la physique (j'ai suivi récemment les modules du DEA Mathématiques de l'UNSA “algorithmes et complexité”, “lambda-calcul et théorie des types”, “cryptographie”, “preuves formelles de programmes en théorie des types”).

9.2  Logiciels libres

• familier des principes et de la communauté logiciel libre
• traduit plusieurs HOWTO (documentation Linux)
• réalisé deux paquetages pour l'éditeur emacs

9.3  Langues

Anglais :

lu, parlé, écrit (séjour de trois mois aux États-Unis).

Italien :

lu, bonnes notions.