Jad Issa
Doctoral Researcher at Cea-List
Based in France
7-day free trial · no credit card
Seniority
Staff
Department
Research & Development
Location
France
Industry
Research Services
Company size
423
Contact information
Reveal Jad's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
j•••••••@list.cea.fr
Phone
5 credits+33 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Jad Issa
I am a doctoral researcher in the formal verification of quantum and hybrid programs. My interest is on foundational subjects in mathematics and computer science including: type theory, category theory, proof assistants, formal languages, proof theory, etc… and I am currently focused on applying these tools for the service of quantum computing.
Decision-makers
Other people at Cea-List
- NLStaff
Nathan Landau
Ingénieur-chercheur · Research & Development
- ABStaff
Ali Beydoun
Ingénieur Conception, R & d · Engineering
- ACStaff
Alexandre Chariot
Research Engineer · Science
- APStaff
Arthur Peuvot
Research Engineer in Natural Language Processing · Research & Development
- ACStaff
Alan Collet
Postdoctoral Researcher · Science
Build a list of verified contacts at Cea-List
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Jad
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime