Omar I. Al-Bataineh
Research Scientist, Gran Sasso Science Institute, Italy
Research Scientist, Gran Sasso Science Institute, Italy
I am a Research Scientist at the Gran Sasso Science Institute in Italy. My research lies at the intersection of software engineering and formal methods, with a particular focus on automated program repair, fault localization, and software verification. I earned my Ph.D. in Computer Science from the University of Western Australia, and hold degrees from the University of New South Wales and Jordan University of Science and Technology. Before joining GSSI, I held research positions at Simula Research Laboratory, the National University of Singapore, and Nanyang Technological University.
My research focuses on automated program analysis, program repair, model checking, static analysis, and fault localization, aiming to improve reliability and scalability of software tools for real-world applications.
Theme 1: Multi‑fault Automated Program Repair
I study automated techniques for repairing programs affected by multiple interacting faults—bugs that manifest within a single execution. My work focuses on designing lightweight and effective test oracles to guide patch generation, aiming to improve repair quality and reduce overfitting in the presence of complex fault interactions.
Theme 2: Formal Methods for Reliable and Provable Program Repair
I explore the use of formal methods and decidable program fragments to generate patches that are not only correct but also provably reliable, moving automated program repair toward higher‑assurance applications.
Theme 3: Termination‑Aware and Context‑Sensitive Program Repair
This line of work focuses on making automated repair practical by considering performance, termination behavior, and other context‑dependent factors—aiming to generate patches that are both correct and efficient for real‑world software systems.
For a complete list of publications, please visit my DBLP profile.
Email: omar.albataineh@gssi.it