Mark Hammons
Solutions Architect at Ingenico
Évreux, Normandy, France
Summary
👤
Senior🎓
Top SchoolMark Hammons is a Solutions Architect with 13 years of experience specializing in Scala-driven backend systems and strong type-safe design. He progressed from C++ research projects to leading Scala teams at organizations including Ingenico, Ledger, and CNRS, bringing both hands-on development and architectural leadership. Passionate about meta-programming and dependent typing, he favors languages that enable provable correctness at compile time while leveraging the Java ecosystem for pragmatic integration. Based in Évreux, Normandy, he combines research-minded rigor with production-grade engineering, often exploring advanced type systems and considering dependently typed languages like Agda even as he pragmatically ships in Scala.
13 years of coding experience
11 years of employment as a software developer
Master 2 (M2) Informatique, Master 2 (M2) Informatique at Paris-Sud University (Paris XI)Bachelor's degree Computer Science, Bachelor's degree Computer Science at University of Oklahoma
Github Skills (167)
distributed-computing10
refactoring10
scientific-computing10
compiler10
jvm10
sbt10
workflow-engine10
java10
scala10
aot10
simulation10
rewrite10
modeling-tool10
parameter-tuning10
hyperparameters10
Programming languages (11)
Github contributions (5)
scala-interop/slinc
Nov 2021 - Jan 2023
Scala <-> C interop
Contributions:16 releases, 9 reviews, 212 commits in 1 year 2 months
scalaffi-bindings
markehammons/dotty
May 2021 - Mar 2026
The Scala 3 compiler, also known as Dotty.
Contributions:1 push, 3 branches in 4 years 10 months
compilerscala3scaladotty
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.