Vincent Reverdy
Researcher In Theoretical Computer Science And Numerical Cosmology at National Center for Supercomputing Applications
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolVincent Reverdy is a CNRS researcher and group leader blending a decade of experience in numerical cosmology, high-performance computing, and programming language design. He leads interdisciplinary projects that connect type theory and generative programming with large-scale astrophysical simulations, notably contributing software used for LSST-scale workloads. A C++ expert and contributor to the ISO WG21 committee, his Bit Library for bit-level parallelism is under review for standardization and has applications from implicit trees in cosmology to bitwise neural networks. His work balances deep theory (general relativity, optimal transport, type theory) with pragmatic low-level engineering: hybrid MPI/pthread codes, template metaprogramming, and scalable load balancing. Based in Paris, he has run and analyzed world-scale simulations (Full Universe Run) and deliberately pursues elegant simplicity in code and models—seeking solutions that are both mathematically profound and broadly reusable.
10 years of coding experience
11 years of employment as a software developer
General Baccalaureate, Science, General Baccalaureate, Science at Lycée François RabelaisDoctor of Philosophy (PhD), Astronomy and Astrophysics, Doctor of Philosophy (PhD), Astronomy and Astrophysics at Observatoire de ParisEngineering School, Physics and Nanosciences, Engineering School, Physics and Nanosciences at Grenoble INP - PhelmaMaster of Science (M.Sc.), Astronomy and Astrophysics, Master of Science (M.Sc.), Astronomy and Astrophysics at Université Grenoble AlpesPhysics and Engineering Science, Physics and Engineering Science at Classes Préparatoires aux Grandes Écoles
English, French, Spanish, c++
Stackoverflow
58,929reputation
4.7mreached
20answers
594questions
stream
top-1%
Github Skills (23)
stream10
bit10
bitcoin8
cryptocurrency8
exploratory7
vector6
logic6
timer6
variadic-templates6
container6
template-metaprogramming6
compile-time6
cpp4
tuples2
machine-learning1
Programming languages (1)
Github contributions (5)
vreverdy/magrathea-trees
Nov 2016 - Nov 2021
Contributions:1 push, 1 branch in 5 years 1 month
vreverdy/magrathea
Oct 2016 - Nov 2021
Contributions:11 pushes, 1 branch in 5 years 1 month
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.