Martin Baty
Senior Software Engineer at amarena
France
Summary
👤
Senior🎓
Top SchoolMartin Baty is a Senior Software Engineer and founder with 9 years of experience building conversational AI and production software from France. He founded and led Majordome to help companies adopt chatbots, combining product-focused entrepreneurship with hands-on engineering. Martin has since served in senior engineering roles across public and private sectors, including the French Ministry of Foreign Affairs, ecommerce platform Lengow, and currently amarena. Trained as an embedded systems engineer at ESEO, he brings low-level systems thinking to cloud and application stacks, which helps bridge reliability and user-facing features. Known for guiding organizations through chatbot adoption, he focuses on practical, client-centered solutions rather than hype. His background reflects a blend of startup leadership and enterprise-grade delivery across diverse domains.
9 years of coding experience
4 years of employment as a software developer
Diplôme d'ingénieur Systèmes embarqués, Diplôme d'ingénieur Systèmes embarqués at Eseo
English, German, French
Github Skills (57)
proof-assistant10
dependent-types10
agda10
executable10
proofs10
mathematical10
sat-solver10
coq10
theorem-proving10
compilation9
circuit9
semantics9
specification9
homotopy-type-theory9
llvm7
Programming languages (6)
Github contributions (5)
mbty/coq
Apr 2021 - Feb 2025
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Contributions:6 pushes, 2 branches in 3 years 10 months
management-systemdependent-typestheorem-provingsemitheorems
mbty/ProjetIDK
Nov 2017 - Feb 2018
Contributions:35 commits, 30 pushes, 2 branches in 2 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.