Pascal Havé
Head Of Engineering at AxiomaVox
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolPascal Havé is Head of Engineering and a former HPC researcher with a PhD in Applied Mathematics, bringing two decades of experience in high-performance computing, numerical simulation and system architecture. He leads Nuant’s engineering efforts, optimizing compute kernels and integrating Rust+Python hybrids into distributed and decentralized execution environments. Long-time C++ expert turned Rust enthusiast and functional-programming advocate, he blends mathematical rigor with pragmatic engineering to push performance and reliability at scale. He also trains and consults through haveneer, teaching modern C++, development workflows, and best practices to make teams more productive. An active lecturer and conference speaker, he uniquely bridges deep academic research, industrial projects in geosciences, and hands-on system design. He is equally fascinated by category theory and homotopy type theory, which inform his taste for elegant, correct software.
8 years of coding experience
11 years of employment as a software developer
PhD, Applied Mathematics, PhD, Applied Mathematics at Pierre and Marie Curie University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (120)
tooling10
cargo10
armadillo10
python10
rcpparmadillo10
windows10
grep10
octave10
reporter10
code-analysis10
pager10
kd-tree10
pybind1110
highlighting10
cpp10
Programming languages (11)
Github contributions (5)
libKriging/libKriging
Jun 2019 - Jan 2023
kriging library for performance and wide language support
Contributions:11 releases, 1 review, 849 commits in 3 years 7 months
pythonmatlabwindowslinuxperformance
haveneer/libKriging-GHA
Dec 2020 - Jan 2021
Contributions:15 releases, 222 pushes, 6 branches in 6 days
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.