Registered user since Tue 14 Apr 2026
Name:Jad Issa
Country:France
Affiliation:CEA List - Université Paris-Saclay
Personal website: https://jad-issa.com/pages/jad-issa.html
GitHub: https://github.com/jad-issa
Research interests:Quantum Computing, Formal Verification
Contributions
PLDI 2026-profile
View general profile
View general profile