Omar I. Al-Bataineh

Omar I. Al-Bataineh is a Research Scientist at Gran Sasso Science Institute (GSSI) in Italy, specializing in software engineering and formal methods. His work bridges theoretical foundations with practical applications in automated program repair and software verification.

Education:

• Ph.D. in Computer Science, University of Western Australia
• Additional degrees from University of New South Wales and Jordan University of Science and Technology

His research centers on three interconnected themes: (1) Multi-fault Automated Program Repair addressing complex bug interactions, (2) Formal Methods for Reliable Repair ensuring provable correctness, and (3) Termination-Aware Repair integrating performance considerations. He develops lightweight test oracles and context-sensitive repair techniques to overcome patch overfitting and scalability limitations in real-world systems.

Recent publications reveal strong focus on multi-fault scenarios (60% of 2025 output), with growing emphasis on formal verification (30%) and performance-aware repair (10%). Key venues include ASE, ICSME, and SANER where he explores program slicing, oracle design, and fault interaction analysis.

Awards:

• Best Paper Award at QRS 2022 for advancing automated program repair capabilities

Prior to GSSI, he held research positions at Simula Research Laboratory, National University of Singapore, and Nanyang Technological University. His teaching experience includes Advanced Computer Security at UNSW and Java Programming at UWA, though current academic instruction isn't emphasized in recent activities. He maintains active contributions to workshops like APR@ICSE and FASE, focusing on practical tool development.