John Abela works across AI and theoretical CS, focusing on automated algorithm discovery with certificate-first, auditable workflows; predictive modeling from text and images; and agent-based epidemiological simulations. His work links complexity principles with scalable ML for decision support.