Work Experience

2005–2008

ITA Software Ltd., Software Engineer (ongoing)
Software Company in the Air Travel Industry (150 persons): software engineer.
Domains of missions: learning a lot about the air travel industry,
developing the QPX fare search engine and QRS reservation system.

2003–2004

CRPGL, Researcher (18 months)
Public Research Center (100 persons): architect, developer.
Domains of missions: Web-based collaborative tools in Lisp. Linux-based services for Windows clients. Teaching Linux. Managing the software side of an academic conference.
Contract ended with Project.

2000–2001

IDEALX, Consultant (8 months)
Open Source Engineering Company (100 persons): architect, consultant, technical writer.
Domains of missions: XML-based B2B infrastructure; real-time high-level language;
   electronic cash payment protocol; secure embedded terminals.
Contract not renewed due to the company's financial difficulties.

summer 2000

Le-Kaki.com, Chief Technical Officer (3 months)
Internet startup for recruitment in the building industry (15 persons):
   Securing and rebuilding the information system.
Technological choices. Migration of servers toward Debian GNU/Linux. Configuring firewall & DMZ.
Supervising and training the new system administrator.

1997–2000

France Telecom, Research Engineer (36 months)
FT R&D department DTL/ASR (Architecture of Distributed Systems)
with Jean-Bernard Stefani (30 persons).
Research, development of prototypes, technological wake, technological transfer. System administration.
Taking part in european research projects and in the design of the next-generation IS for FT.

Technical Proficiencies

Specialty

Design & implementation of distributed software infrastructure for flexibility, robustness and security: kernel architecture, cryptography, compilers, transactional databases, persistent objects, real-time, memory allocation, QoS.

Systems

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

Languages

Common Lisp, OCaml, Erlang, Smalltalk, FORTH, Scheme, C, C++, Java, Perl, Shell, Assembly (x86, 6502, ARM), BASIC, Python, Prolog, etc.

Networking

Firewall, VPN, routing, TCP/IP, filesystems, DNS, SMTP, distributed programming.

Web Sites

Static and dynamic Internet/Intranet sites (HTTP, Apache, PHP, MySQL, Lisp, XML, SSL, PKI, continuation-based/modal interfaces, transactional object stores...)

Documentation

Electronic Document Management in Lisp, LaTeX, SGML, XML, Word.

Methods

Formal logic proofs. Metaprogramming. Object-Oriented, Logic and Functional Programming. Extreme Programming. Design Patterns. UML. Development cycles. etc.

“Artificial Intelligence”

Search strategies and heuristics, declarative programming, inference engines. Reflective monitoring and metaprogramming. Basic statistical text analysis, fuzzy logic. Data compression techniques. Algorithmic complexity and its applications, notably to PAC-learning. Basic knowledge bases and data representation. Basic HCI and software usability.

Training

1997–2005

PhD in Computer Science still being done at the
École Nationale Supérieure des Télécommunications (Paris).
Thesis subject: the semantics of reflective systems, as applied to building distributed systems.

1996–1997

DEA d'Informatique at the ESSI (University of Nice).
[Equivalent to Masters in Computer Science]
Teacher in Mathematics in a high-school.

1992–1996

Student at the École Normale Supérieure (rue d'Ulm, Paris).
[Best school for scientific research in France]
Various university diplomas and titles from examinations and competitive examinations
in Mathematics and Computer Science.
Teaching assistant in Computer Science and Mathematics in introductory university-level classes.

1987–1992

High-school and university-level student at the Lycée Louis-Le-Grand (Paris).
Baccalauréat C (Maths) 1990.

Miscellaneous

Languages

 
Native French speaker.
Very fluent in English.
High-school level Spanish.

Other proficiencies

 
Can drive a car.

Hobbies

 
Writing a PhD thesis about (distributed) system architecture based on computational reflection.
Founded the TUNES project for a free reflective computing system. http://tunes.org/


Activity in the Free Software (Open Source) community: Contributed small utilities, bugfixes, documentation, ideas.
Wrote essays and spoke at conferences about technical and economical aspects of Free Software.


Author of libertarian essays, speaker at Libertarian International conferences. Spoke about the sciences and philosophy of information and liberty: formal logic, cybernetics, economics, praxeology, psycho-epistemology, etc. Or, how to make this world happier and wealthier through liberty and education, personal productivity and mutual understanding.


Music: singing jazz standards. Listening to classical music.
Sports: beginner at Karate, formerly practitioner of Aikido.