Research
My interests lie primarily in theoretical computer science, particularly graph algorithms and reconfiguration. I have also worked on quantum software and generative models for musical performance.
Token Jumping on Outerplanar Graphs (2026–present)
I am investigating Independent Set Reconfiguration under the Token Jumping rule on outerplanar graphs. The general outerplanar case is an open complexity question. I am studying restricted classes—including cactus graphs, bipartite outerplanar graphs, biconnected outerplanar graphs, and degree-restricted graphs—to look for structural invariants and useful decompositions.
Supervisor: Prof. Amer Abdo Mouawad, AUB.
Quantum Code Generation and Repair
My work on quantum software studies the reliability of LLM-generated programs and the problem of repairing faulty quantum code across different frameworks.
QuRepair is a diagnosis-guided repair framework combining program evidence, quantum-semantic reasoning, and behavior-based validation across Qiskit, Cirq, PennyLane, and OpenQASM. The manuscript is under review for ICLR 2027. [OpenReview]
QuanBench+ is a multi-framework benchmark for LLM-based quantum code generation, spanning Qiskit, Cirq, and PennyLane, with executable evaluation. It was presented as a poster at the ICLR 2026 ICBINB workshop. [arXiv]
Large Percussion Model (LPM) (2025–present)
As a research assistant at the Center for Advanced Mathematical Sciences (CAMS) at AUB, I work on the Large Percussion Model, a generative system for autonomous Derbouka performance.
My contributions include algorithms for rhythmic variation,
micro-timing, ornamentation and swing; the symbolic
.derbake data format; large-scale dataset generation;
and full-stack infrastructure for research experiments.
This work is supported by AUB's Sciences meet Arts and Humanities (SmART) Stimulus Funding Program.
For published work, see publications; for the full record, see my CV.