Works

Papers

• Directions in the study of the double-critical graph conjecture.
  Charbel Abi Daher, Jad Issa. December, 2020, American University of Beirut.
  (paper (PDF) presentation (PDF))

  Partial requirement for a graduate course on algorithmic graph theory taught at the American University of Beirut by prof. Amer Abdo Mouawad in the Fall of 2020.

Talks

• Type theory as new constructive foundations for mathematics, logic, and computer science.
  Seminar of the Mathematics Department. February 11, 2021, American University of Beirut (presentation (PDF) abstract (PDF) video recording available at the university’s website)