Architect of Software Solutioning Processes
Phone: +1 617 575 9012 |
French national, US permanent resident
for a printer-friendly version.
- Google, New York, New York (Alien Hacker)2 years
Software at scale.
Partook in open-sourcing the build system bazel.io, improved its extension language Skylark.
Added a GC pass to a git cache of code.google.com.
- ITA Software, Cambridge, Massachusetts (Senior Software Engineer)8 years
Airline information systems (acquired by Google in 2011): QPX, airfare search engine; QRes, passenger reservation system. Co-implemented object persistence via ORM using Oracle for transaction processing; notably automated schema upgrade.
Designed, developed and supported the build, test and deployment infrastructure,
coordinating release with other teams.
Audited code for security. Added messaging features.
Decoded legacy data and created a distributed engine to migrate it.
Ported codebase to a 64-bit Lisp compiler. Curated free software libraries and compilers.
Worked alone or in tight-knit team. managed up to five interns. worked on team reorganization.
- CRPGL, Luxembourg (Researcher)18 months
Public Research Center. Developped web-based collaborative tools in Common Lisp.
- IDEALX, Paris, France (Consultant)8 months
Open Source Engineering Consultancy. Consulted on B2B middleware, real-time high-level languages, secure terminals.
Proved formal correctness (in Coq) of an e-cash payment protocol.
- summer 2000
- Le-Kaki.com, Paris, France (Chief Technical Officer)3 months
Recruitment startup. Designed and implemented IT solutions.
- France Telecom, Paris, France (Research Engineer)36 months
Researched under Jean-Bernard Stefani. Experimented with distributed calculi.
- interaction design for creative processes,
together of human organization, development & target software.
Controling overall man-machine system complexity to achieve
flexibility and maintainability, robustness and security
— ultimately end-user satisfaction at systainable costs.
Design and implementation of distributed agent systems, programming languages,
operating system kernels, cryptographic protocols,
transactional object persistence, real-time memory allocation.
- Operating Systems
System Administration for Linux (NixOS, Debian, RedHat), BSD, Solaris; MacOS, Windows.
- Programming Languages
Common Lisp, Java, Clojure, Racket, Shell, C,
Smalltalk, C++, Erlang, FORTH,
Assembly (x86, 6502, ARM), BASIC, Prolog, etc.
Firewall, VPN, routing, TCP/IP, filesystems, DNS, SMTP.
- Web Development
Static and dynamic services
(AJAX or continuation-based/modal interface),
HTTP, Apache, PHP, MySQL, Oracle, Lisp, XML, SSL, PKI...)
Scribble, LaTeX, SGML, XML.
- Special Skills
Formal logic, proofs.
Object-Oriented, Logic and Functional Programming.
- “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.
Knowledge bases and data representation.
Human-Computer Interaction and software usability.
PhD candidate in Computer Science at
École Nationale Supérieure des Télécommunications (Paris).
the semantics of reflective systems,
as applied to building distributed systems.
Research interrupted to pursue professional opportunities.
DEA d’Informatique at the ESSI (University of Nice).
[Equivalent to Masters in Computer Science]
+ Teacher in Mathematics in a high-school.
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.
Specialized in the Formal Semantics of Computer Programs under Patrick Cousot.
Teaching assistant in Computer Science and Mathematics
in introductory university-level classes.
High-school then university-level studies
at the Lycée Louis-Le-Grand (Paris).
Baccalauréat C (Maths) 1990. Classes Préparatoires.
Native French speaker.
Fluent in English.
Maintainer of Common Lisp build tools.
Secretary of the Association of Lisp Users.
Organized a monthly Boston Lisp Meeting on programmable programming languages.
Contributed to many free software projects.
Wrote essays and spoke at conferences on Free Software.
Wrote essays and spoke at conferences on Economic Liberty.
Was CTO for an off-shore software development consultancy,
Founded the TUNES project for a free reflective computing system.
Blogging at http://fare.livejournal.com/ —
tweeting at http://twitter.com/fare —
François-René Rideau and Spencer Brody.
XCVB: an eXtensible Component Verifier and Builder for
In International Lisp Conference, 2009.
François-René Rideau and Robert P. Goldman.
Evolving ASDF: More Cooperation, Less Coordination.
In International Lisp Conference, 2010.
Metaprogramming and free availability of sources, January 1999.
Translated from the french article “Métaprogrammation et libre
disponibilité des sources” published in conference “Autour du Libre
LIL: CLOS reaches higher-order, sheds identity and has a
In International Lisp Conference, 2012.
ASDF 3, or Why Lisp is Now an Acceptable Scripting
In European Lisp Symposium, 2014.