Asaad Mohammedsaleh
MSc 2026 — Genome-scale protein function adjustment via constraint optimization.
About
Asaad Mohammedsaleh completed his MSc in Computer Science at KAUST in 2026 under the supervision of Robert Hoehndorf. His thesis, "Genome-Scale Protein Function Adjustment using Constraint Optimization", introduces a two-stage OR-Tools CP-SAT solver that post-processes per-protein Gene Ontology predictions from any baseline method (Seq-Sim, MLP-ESM2, DeepGO-SE, SPROF-GO) and minimally repairs them to enforce two genome-scale biological constraints: taxon consistency and protein-complex coherence. Evaluated on 568 UniProt reference proteomes, the method achieves full taxon consistency and full complex coherence while preserving F-max, S-min, AUC, and AUPR.