Jacques Le Normand
Educator And Senior Developer
Hong Kong Island, Hong Kong, China
Summary
👤
Senior🎓
Top SchoolJacques Le Normand is an educator and senior developer with 15 years of experience building production systems across startups, academia, and large tech firms. Currently based in Hong Kong, he combines hands-on engineering at Symmetry Investments with a strong background in curriculum design and technical leadership from roles at McGill, Concordia Bootcamps, and DecodeMTL. His work spans full-stack development and low-level compiler contributions—he’s made targeted improvements to the OCaml compiler’s type system and pattern matching, reflecting a comfort with language internals and formal reasoning. Jacques has delivered high-performance infrastructure at Google and contributed to financial engineering tooling at Lexifi, demonstrating both scale and domain breadth. He thrives on tackling hard, seemingly unachievable problems and turning them into elegant, maintainable solutions. Colleagues know him for bridging rigorous academic thinking with pragmatic product delivery.
15 years of coding experience
3 years of employment as a software developer
Bachelor, Honours in Computer Science, Bachelor, Honours in Computer Science at Concordia UniversityMaster's degree, Computer Science, 3.92/4, Master's degree, Computer Science, 3.92/4 at McGill University
English, French, Japanese
Stackoverflow
19reputation
221reached
0answers
1question
Github Skills (7)
type-system10
functional-programming10
pattern-matching10
ocaml10
compiler-development10
html6
css6
Programming languages (1)
Github contributions (5)
ocaml/ocaml
Sep 2010 - Dec 2010
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:118 commits in 3 months
Contributions summary:Jacques primarily worked on the OCaml compiler system, as indicated by the changes made to the `typing/typecore.ml` and `typing/typedecl.ml` files. Their contributions involved making minor changes, fixing bugs related to parameter handling, and switching to abstract types. They also focused on improving pattern matching capabilities by addressing issues with tuple checking and handling existentials within patterns, indicating a focus on refining the type system's core functionality.
functional-languagecompilersruntime-systemapllwt
win-wo/ChatAndQuizTest
Sep 2015 - Oct 2015
Contributions:154 pushes in 1 month
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.