Registered user since Tue 14 Apr 2026
Name:Jad Issa
Country:France
Affiliation:CEA List, France and Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
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