I am an undergraduate student in Computer Science & Engineering at the American University of Beirut (AUB), expecting to graduate in June 2028.

My main interest is in theoretical computer science, particularly graph reconfiguration and algorithmic graph theory. I am currently studying independent set reconfiguration under the Token Jumping model on outerplanar graphs, under the supervision of Prof. Amer Abdo Mouawad.

I also work on quantum software and generative modeling for music. My research and projects span algorithms, software engineering, and computational approaches to creative systems.

Research interests

Graph reconfiguration; graph algorithms; computational complexity; quantum software; generative modeling.

More details on my research page.

Publications and manuscripts

  1. QuanBench+: A Unified Multi-Framework Benchmark for LLM-Based Quantum Code Generation. Ali Slim, Haydar Hamieh, Jawad Kotaich, Yehya Ghosn, Mahdi Chehimi, Ammar Mohanna, Hasan Abed Al Kader Hammoud, and Bernard Ghanem. ICLR 2026 Workshop on I Can't Believe It's Not Better (ICBINB), poster. [arXiv]
  2. QuRepair: Diagnosis-Guided LLM Repair for Multi-Framework Quantum Software. Manuscript under review, submitted to ICLR 2027. [OpenReview]

See the publications page for paper summaries and links.

Current work

Token Jumping on Outerplanar Graphs

Studying the complexity of independent set reconfiguration on outerplanar graphs and structurally restricted subclasses. Supervised by Prof. Amer Abdo Mouawad (2026–present).

Large Percussion Model

Research at AUB's Center for Advanced Mathematical Sciences on generative Derbouka performance, rhythmic representation, and symbolic training data (2025–present).

Teaching

Teaching Assistant / Private tutor, American University of Beirut.

  • Data Structures (C++), Fall 2026.
  • Introduction to Computation (Python), Spring 2025.
  • Discrete Structures, Fall 2027.

Education

American University of Beirut. B.E. in Computer Science & Engineering, expected June 2028.

Selected coursework: Design and Analysis of Algorithms, Theory of Computation, Algorithmic Graph Theory, Quantum Computing, and Number Theory.