Vincent Iampietro
R&D Engineer at Neurinnov
Montpellier, Occitania, France
Summary
👤
Senior🎓
Top SchoolVincent Iampietro is an R&D engineer and PhD-trained researcher based in Montpellier with around a decade of experience at the intersection of formal methods, safety-critical software, and medical device development. He combines hands-on implementation in C++/Java and IEC 62304-compliant medical software at Neurinnov with academic teaching and research on program proofs, compiler correctness, and proof engineering. His background includes mechanizing proofs, lecturing on logic and verification, and practical stints in blockchain prototyping and audio/media research, reflecting a rare mix of rigorous formal training and applied industry work. Comfortable moving between theorem provers and production code, he focuses on making mathematically verifiable software practical for real-world systems where correctness matters. Colleagues value his ability to translate deep formal concepts into teachable courses and usable tools for developers.
10 years of coding experience
1 year of employment as a software developer
DUT Année spéciale en Informatique, Informatique, DUT Année spéciale en Informatique, Informatique at IUT de Montpellier-SèteMaster, Computer Science, Master, Computer Science at Université de MontpellierBaccalauréat Scientifique, Option Physique Chimie, Admis, Mention Bien, Baccalauréat Scientifique, Option Physique Chimie, Admis, Mention Bien at Lycée Charles GideLicence 1, Musicologie, Validation du premier semestre, Licence 1, Musicologie, Validation du premier semestre at Université Paul Valéry (Montpellier III)BTS Métiers de l'Audiovisuel option son, Techniques du Son, Admis, 2ème de la promotion Grand Sud, BTS Métiers de l'Audiovisuel option son, Techniques du Son, Admis, 2ème de la promotion Grand Sud at Lycée des Arènes (Toulouse)
French, English
Stackoverflow
11reputation
91reached
0answers
1question
Github Skills (17)
graphic8
editing7
recursion6
coq6
emacs6
proof-general6
termination6
agda5
proof-assistant5
melpa4
company-mode4
opam3
homotopy-type-theory2
ide1
pascal1
Programming languages (1)
Github contributions (5)
alexdu98/I-spy
Apr 2017 - May 2017
Contributions:17 commits, 17 pushes in 1 month
viampietro/thesis
Jun 2021 - Jan 2022
Contributions:102 pushes, 44 branches in 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.