Edwin Ansari
Software Engineer at Mohaymen ICT Group
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolEdwin Ansari is a backend-focused software engineer based in Paris with eight years of experience building high-performance, robust systems. He brings deep computer science foundations—algorithms, programming languages, and formal reasoning—to pragmatic engineering work across backend, DevOps, and CI/CD. A specialist in functional programming, he has delivered OCaml-driven, type-system-oriented solutions for structured finance at LexiFi and applied formal verification techniques in Coq for Tezos at Nomadic Labs. Edwin also has experience in data engineering and tutoring, showing an ability to explain complex concepts and bridge theory with applied systems. Currently freelancing on instant messaging backend work, he blends an interest in blockchain and finance with a practical track record of shipping almost bug-free software. Notably, his profile reflects a rare pairing of formal methods experience and production-grade backend development.
8 years of coding experience
3 years of employment as a software developer
Master's degree Science and Technology of Software, Master's degree Science and Technology of Software at Sorbonne UniversitéBachelor's degree Mathematics and Computer Science, Bachelor's degree Mathematics and Computer Science at Université Paris Cité
Stackoverflow
50reputation
636reached
4answers
3questions
Github Skills (88)
jenkins-api-plugin10
messaging10
messenger10
testing10
telegram10
chat10
opam10
package-repository10
languagetool10
firefox10
dune10
idris10
jbuilder10
tdlib10
remoting10
Programming languages (9)
Github contributions (5)
edwinans/camel-finder
Apr 2024 - Feb 2025
Contributions:3 PRs, 58 pushes, 2 branches in 9 months
edwinans/lambda-typer
Nov 2021 - Jul 2023
Contributions:3 PRs, 8 pushes, 6 branches in 1 year 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.