Hugues Lerebours

Backend developer with particular interests in formal proofs, software resilience and algorithmic efficiency.
I worked for 7 years in a context of large scale and high constraints (mostly using C#, Python and Scala).
I joined a startup 3+ years ago to help develop and scale their sophisticated, ML-based solution (with a backend in TypeScript and PostgreSQL).