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 (200)
slurm10
interop10
distributed-computing10
throughput10
co-simulation10
refactoring10
scientific-computing10
scala-native10
reactive10
sbt-plugin10
jvm10
sbt10
simulation-framework10
load-balancing10
bare10
Programming languages (10)
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
macrosmetaprogrammingscalaffi-bindingsinterop
markehammons/scala-native
Feb 2021 - Oct 2022
Your favorite language gets closer to bare metal.
Contributions:15 pushes, 6 branches, 2 issues in 1 year 8 months
bare-metalmetalcompilerscalabare
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.