Christophe Lucas
Staff Engineer at Opendoor
Washington, District of Columbia, United States
Summary
👤
Senior🎓
Top SchoolChristophe Lucas is a Staff Engineer based in Washington, D.C., with over a decade building and architecting production web platforms, primarily in Ruby on Rails. He has driven end-to-end delivery—from requirements and proofs-of-concept to deployment and performance tuning—at companies including Opendoor and FireEye/Mandiant, where he helped build scalable portals integrating Redis, Sidekiq, RabbitMQ, Elasticsearch and PostgreSQL. A pragmatic Agile and eXtreme Programming advocate, he focuses on reliable APIs (REST and GraphQL) and data modeling to turn complex security and consumer workflows into maintainable systems. His background includes mobile development and training in iOS, plus early work in model-driven engineering and metadata integration, reflecting a blend of hands-on coding and systems thinking. Colleagues value him for bridging architecture and implementation—shipping features while keeping operational concerns in view.
8 years of coding experience
20 years of employment as a software developer
Masters Electrical Engineering, Masters Electrical Engineering at Université des Sciences et techniques (Nantes), www.sciences-techniques.univ-nantes.frMasters Computer Science and modeling, Masters Computer Science and modeling at Institut Superieur d'Informatique, de Modelisation, et de leurs Applications (ISIMA) www.isima.frBaccalauréat C, Baccalauréat C at Lycée Clémenceau (Nantes)
French, English
Github Skills (13)
theorem-proving6
sat-solver6
dependent-types6
mathematical6
coq6
logic5
embedding5
homotopy-type-theory5
agda5
proof-assistant5
proofs4
executable4
standard-library1
Programming languages (2)
Github contributions (5)
clucas26e4/riesz-logic
Nov 2020 - Jun 2021
Contributions:1 release, 21 pushes, 4 branches in 6 months
clucas26e4/yalla
Dec 2018 - Aug 2019
Yet Another deep embedding of Linear Logic in Coq
Contributions:14 pushes, 6 branches in 8 months
linearlinear-logicyet-anothercoqlogic
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.