gael-lambert.info
Credentials

Formal proof, for the checklist.

Proofs by Formal Reasoning Inference rules: assumed formulas derived formulas Rules for GL (excerpts) (R1) Training rule Bordeaux · Oxford · Harvard · MIT □ classically trained solid foundations
fig. 9 · proofs by formal reasoning
Business school, BordeauxBusiness Management
University of Oxford · Kellogg CollegeMSc Software Engineering
Harvard UniversityStrategy Management
MIT xPRODesigning and Building AI Products and Services
(R1) Education
Classically trained ∎solid
foundations.
PMIPMP
Scrum AllianceCSM
MicrosoftMCSD
IT service managementITIL
AccentureCertified Technical Architect
(R2) Certification
Industry certified ∎industrial
practice.

Patent

  • Drawer sterilization systemUS-2022-0001053-A1

Languages

  • French, English, Germannative, fluent, conversational

Still hands-on

  • C#, .NET, SQL across every kind of storestill in the technical reviews
§ Contact

Gaël Lambert.

Product · Regulated platforms · Interoperability · Applied AI

EU citizen and US green card holder, no sponsorship required. Based in Princeton, NJ, within commuting distance of New York City.

LinkedIn
LinkedIn profile