About me

My name is Jad Issa. I am a mathematician and computer scientist with focus on logic and the formal verification of computer programs. I am currently preparing a Ph.D. with the Qbricks team at CEA LIST Paris-Saclay and the MOCQUA team at the LORIA lab attached to Université de Lorraine. My current work is focused on the formal verification of quantum and hybrid (quantum/classical) programs. I am especially interested in formally characterising the accuracy of such programs that may possibly have errors.

CV summary

I studied a double bachelors in mathematics (Lebanese University) and computer science (American University of Beirut). Afterwards, I did a first year of masters in pure mathematics at Université Paris-Saclay funded by the excellence scholarship of the Fondation Mathématique Jacques Hadamard. My second year of masters was again double: in mathematical logic and the foundations of computer science at Université Paris-Cité and in applied algebra at Université de Versailles-Saint-Quentin-en-Yvelines. Along the way, I had a year of general engineering at the Lebanese University with introductory material.

Talks

• Type theory as new constructive foundations for mathematics, logic, and computer science, American University of Beirut, Seminar of the Department of Mathematics, 2021.

Papers

* Not published in a journal

• * Direction in the study of the double-critical graph conjecture, American University of Beirut, 2020. (PDF)

• * Flip distance on convex polygons and interval graphs, American University of Beirut, 2021. (PDF)

• * A review of Cartesian closed categories, string diagrams, monads, and optics, Université Paris-Saclay, 2023. (PDF)

Secondary interests

I'm very interested in philosophy of mathematics and logic and apparent interaction with ontology and epistemology. I am strongly driven by a general principle of extensionality/structuralism that the only truths and realities are those that can be in some sense seen or interacted with, in total contrast with Plato's world of forms, objects have no intrinsic existence, truth, or structure. This influences my general research approaches towards pragmatism of theories and formalism.

I am also interested in theoretical physics, including QFT and the standard model without being serious knowledgeable about them. The application of the theory to reality is secondary to me with the mathematical constructs being the most interesting. I'm therefore interested in things like string theory independently of their validity as or if experimental data arises.