Jad Issa
Doctoral Researcher at CEA-List
France
Summary
👤
Senior🎓
Top SchoolJad Issa is a doctoral researcher at CEA Paris-Saclay specializing in formal verification of quantum and hybrid programs, with nine years of experience bridging mathematics and computer science. His work combines deep foundations—type theory, category theory, proof theory—and hands-on formalization using proof assistants to make quantum computing verifiable and reliable. He has applied path-sum semantics to quantum error correction during an internship at CEA-List and now pursues a PhD that connects theoretical logic with practical quantum program assurance. Educated across top French and Lebanese institutions with strong academic results in both math and CS, Jad brings a rare dual fluency in rigorous proofs and applied verification workflows.
9 years of coding experience
Bachelor of Science - BS, Mathematics, 86.24/100, Bachelor of Science - BS, Mathematics, 86.24/100 at Lebanese University - Faculty of SciencesMaster's degree, Mathematics and Computer Science, Master's degree, Mathematics and Computer Science at Univ Paris DiderotMaster's degree, Mathematics, Master's degree, Mathematics at Université Paris-SaclayEngineer's degree, Engineering, 92.52/100, Engineer's degree, Engineering, 92.52/100 at Lebanese University - Faculty of Engineering IIHigh School Diploma, General Sciences, 17.5/20, High School Diploma, General Sciences, 17.5/20 at Carmelites - FanarBachelor of Science - BS, Computer Science, GPA 4.14, Bachelor of Science - BS, Computer Science, GPA 4.14 at American University of Beirut
Arabic, English, French, Italian
Stackoverflow
65reputation
2kreached
1answer
2questions
Github Skills (28)
optical-flow7
haskell6
android6
kotlin6
python6
semigroup6
monoid6
object-tracking6
azure-maps6
typeclass6
object-detection5
deep-learning5
machine-learning5
video-processing5
pytorch4
Programming languages (4)
Github contributions (5)
jad-issa/jad-issa.github.io
Oct 2019 - Jun 2023
Personal blog
Contributions:2 PRs, 29 pushes, 1 branch in 3 years 9 months
jad-issa/fractal-generator
Dec 2018 - Nov 2020
Generating fractals
Contributions:1 PR, 3 pushes in 1 year 10 months
fractals
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.