Vincent Semeria
Expert Software Developer at Finastra
Greater Paris Metropolitan Region France
Summary
🤩
Rockstar🎓
Top SchoolVincent Semeria is an expert software developer with nine years of experience building mission-critical financial systems, currently designing and developing Fusion Invest and Sophis solutions at Finastra. He combines deep C++ expertise and full-stack proficiency with a strong background in quantitative pricing and lifecycle management for complex derivatives such as basket swaps and total return swaps. His early career as a quant and equity derivatives engineer in trading rooms sharpened his mathematical modeling skills and pragmatic approach to production-grade code. Beyond finance, Vincent contributes to formal verification work in the Coq-based Rocq Prover, having formalized nontrivial proofs like the uncountability of the reals—an indicator of his comfort with dependent types and rigorous reasoning. Based in the Greater Paris area and educated at Mines Paris and the National University of Singapore, he blends top-tier academic training with hands-on delivery in large codebases. He is notable for translating advanced mathematical ideas into robust, maintainable software for high-stakes environments.
9 years of coding experience
4 years of employment as a software developer
Mines Paris - PSLMaths SUP Maths SPE Mathematics Physics Computer Science, Maths SUP Maths SPE Mathematics Physics Computer Science at Lycée Louis-le-Grand, ParisComputer Science, Computer Science at National University of Singapore
French, English, Spanish
Stackoverflow
3,150reputation
97kreached
38answers
52questions
Github Skills (12)
theorem-proving10
proof-assistant10
dependent-types10
coq10
logic10
lambda6
syntax6
linux6
monads6
emacs6
real-number6
haskell6
Programming languages (7)
Github contributions (5)
rocq-prover/rocq
Aug 2018 - Aug 2021
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:12 reviews, 34 commits, 24 PRs in 2 years 11 months
Contributions summary:Vincent contributed to the Rocq Prover by implementing a proof that the real numbers are uncountable. The commits primarily involved modifications to files related to real number theory and logic, defining and proving mathematical theorems within the Coq proof assistant. Their work focuses on formalizing and verifying mathematical concepts, including epsilon-delta arguments and properties of open intervals. The user's changes reflect a deep understanding of dependent types and theorem proving.
management-systemdependent-typeshomotopy-type-theorytheorem-provingsemi
VincentSe/godel
May 2021 - Feb 2022
Arithmetization of mathematics
Contributions:7 commits, 2 PRs, 538 pushes in 9 months
mathmathematics
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.