Skip to main content

Jad Issa

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 an intern with the QBricks at CEA LIST in partial fulfillment of my masters degree requirements. I am currently working on quantum error correction.

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

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.