Henri Maurer
Co-founder at Elogic
City of Edinburgh, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolHenri Maurer is a software engineer and co-founder with 14 years of experience building cloud-native, correctness-focused systems from backend to client-facing front ends. Based in Edinburgh, he currently architects an end-to-end TypeScript, serverless web app for undergraduate logic education that integrates the Z3 theorem prover. His background spans supply chain security and scalable platform work at GitHub and a long history at Artificial Labs where he combined Haskell, TypeScript, Terraform and Nix to deliver robust insurtech services. A tutor in functional programming and a former research assistant at Stanford, he brings both formal reasoning and practical engineering to product development. Outside work he’s an enthusiastic hiker, a detail that often fuels his methodical yet exploratory approach to solving technical problems.
14 years of coding experience
11 years of employment as a software developer
BSc, Mathematics and Artificial Intelligences, BSc, Mathematics and Artificial Intelligences at The University of EdinburghInternational Baccalaureate, International Baccalaureate at United World College Maastricht
French, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (200)
sbom10
specification10
schema10
api10
dynamodb10
schema-validation10
fetch10
whiteboard10
snapshots10
spdx10
frontend10
validate10
collaboration10
package10
vite10
Programming languages (18)
Github contributions (5)
hmaurer/haskell-resources
Sep 2013 - Nov 2013
Contributions:14 commits in 2 months
rafaelbailo/givemeavariable.com
May 2018 - Nov 2023
Contributions:1 push in 5 years 7 months
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.