Omar I. Al-Bataineh
Research Scientist at the Gran Sasso Science Institute, Italy
Research Scientist at the Gran Sasso Science Institute, Italy
I am a Research Scientist at the Gran Sasso Science Institute in Italy. My work 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 the reliability and scalability of software tools for real-world applications.
I develop methods to repair programs affected by multiple interacting faults, where conventional approaches often fail due to masking or cascading effects. My research leverages interaction-aware diagnostics and lightweight formal oracles to generate patches that are both correct and resilient, reducing overfitting in complex, multi-fault scenarios.
I investigate formal methods for generating patches that are not only correct but also provably reliable. By focusing on decidable program fragments and rigorous correctness proofs, this work advances automated program repair toward high-assurance, mission-critical software systems.
This research addresses practical challenges in automated repair, integrating termination analysis, performance reasoning, and context-sensitive constraints. The goal is to produce patches that are formally correct, efficient, and safe in real-world software deployments.
For a complete list of publications, please visit my DBLP profile.
Email: omar.albataineh@gssi.it