Expérience professionnelle

2005–2008

ITA Software Inc., Ingénieur logiciel (en cours)
Entreprise de logiciel dans l'industrie du voyage aérien (150 personnes): Ingénieur logiciel.
Domaines de missions: apprendre le fonctionnement de l'industrie du voyage aérien,
développer le moteur de recherche de prix QPX et le système de réservation QRS.

2003–2004

CRPGL, Chercheur (18 mois)
Centre de Recherche Public (100 personnes): architecte, développeur.
Domaines des missions: Outils collaboratifs sur le Web en Lisp. Services sous Linux pour clients Windows. Enseigner Linux. Gérer l'aspect logiciel d'une conférence académique.
Contrat terminé avec le projet.

2000–2001

IDEALX, Consultant (8 mois)
Société d'Ingénierie Open Source (100 personnes): architecte, consultant, rédacteur d'études.
Domaines des missions: infrastructure B2B XML; langage de haut-niveau temps-réel;
protocole de paiement électronique; terminaux embarqués sécurisés.
Contrat non renouvelé suite aux difficultés de l'entreprise.

été 2000

Le-Kaki.com, Directeur Technique (3 mois)
Startup dans le recrutement BTP (15 personnes): Sécurisation et refonte du Système d'Information.
Choix des technologies. Migration des serveurs vers Debian GNU/Linux. Configuration pare-feu & DMZ.
Supervision et formation d'un administrateur système pour faire fonctionner système en routine.

1997–2000

France Télécom, Ingénieur de recherche (36 mois)
CNET (FT R&D) département DTL/ASR (Architecture des Systèmes Répartis) de Jean-Bernard Stefani (30 personnes).
Recherche et développement, veille et transfert technologiques. Administration système.
Participation à des projets de recherche européens et
à la conception de la prochaine génération du SI de FT.

Compétences Techniques

Spécialité

Conception et implantation d'infrastructure logicielle répartie flexible, robuste et sécurisée: architecture noyau, cryptographie, compilateurs, bases transactionnelles, objets persistents, allocation mémoire, temps réel, QoS.

Systèmes

Unix (Linux, BSD, Solaris, HP-UX, AIX), Windows, MacOS.

Langages

Common Lisp, Ocaml, Erlang, Smalltalk, FORTH, Scheme, C, C++, Java, Perl, shell, assembleurs (x86, 6502, ARM), BASIC, Python, Prolog, etc.

Réseaux

Firewall, routage, TCP/IP, systèmes de fichier, DNS, SMTP, programmation répartie.

Sites Web

Internet/Intranet statiques et dynamiques sécurisés (HTTP, Apache, PHP, MySQL, Lisp, XML, SSL, PKI, interfaces modales/à base de continuations, bases à objets transactionnelles...)

Documentation

Gestion électronique de documents en Lisp, LaTeX, SGML, XML, Word.

Méthodes

Preuve logique formelle. Programmation Orienté-Objet, Logique et Fonctionnelle. Extreme Programming. Design Patterns. UML. Cycles de développement. etc.

« Intelligence Artificielle »

Stratégies et heuristiques de recherche, programmation déclarative, moteurs d'inférence. Surveillance réflexive et métaprogrammation. Analyse statistique de textes, logiques floues. Techniques de compression de données. Complexité algorithmique et ses applications, notamment PAC-learning. Bases de connaissance et représentation des données. Interfaces homme-machine et ergonomie.

Cursus universitaire

1997–2004

Études doctorales toujours en cours en Informatique à l'ENST (Télécom Paris).
Sujet de thèse: la sémantique des systèmes réflexifs, appliquée à la construction de systèmes répartis.

1996–1997

DEA d'Informatique à l'ESSI (Université de Nice).
Enseignant en Mathématiques au Lycée Calmette.

1992–1996

Étudiant-professeur à l'École Normale Supérieure (rue d'Ulm, Paris).
Concours Maths-Info. Licence de Maths, Maîtrise d'Informatique, Agrégation de Maths.
Répétiteur en Informatique et en Mathématiques en classes préparatoires scientifiques.

1987–1992

Lycéen puis étudiant en classes préparatoires (section M') au Lycée Louis-Le-Grand (Paris).
Baccalauréat C (Maths) 1990.

Divers

Langues

Français langue maternelle.
Anglais parlé et écrit couramment.
Espagnol scolaire.
 

Autres compétences

Permis de conduire voiture.
 

Activités et Intérêts

Écrire une thèse de doctorat sur l'architecture de systèmes répartis basée sur la réflection calculatoire.
Fondateur du Projet TUNES pour un système de calcul réflexif libre. http://tunes.org


Activités dans le Libre Logiciel (Free Software, Open Source):
participation au développement coopératif de divers logiciels.
Publication d'essais et articles et participation comme orateur à des conférences
sur des aspects techniques et économiques du Libre Logiciel.


Auteur d'essais libéraux, orateur à des conférences de Libertarian International.
Intérêt pour les sciences et philosophies de l'information et de la liberté:
logique formelle, cybernétique, économie, praxéologie, psycho-épistémologie, etc.


Musique : chanter des standards du jazz. Écouter de la musique classique.

Sports: débutant en Karaté, ancien pratiquant d'Aïkido.