Omar I. Al-Bataineh

Research Scientist, Gran Sasso Science Institute, Italy

Photo of Omar I. Al-Bataineh

Bio

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.

Research

My research lies at the intersection of formal methods and software engineering, with a strong emphasis on advancing automated program analysis and repair techniques. Specifically, I specialize in model checking, static analysis, runtime verification, and automated program repair. I am dedicated to bridging the gap between rigorous formal verification methods and real-world software development challenges. My work addresses critical problems such as repairing programs with multiple interacting faults and understanding complex fault interaction patterns, which are key obstacles for reliable automated debugging and maintenance. By developing novel approaches that integrate formal verification and fault interaction analysis, I aim to improve the effectiveness and scalability of automated program repair tools, ultimately contributing to higher software quality and robustness in practice.

For a full list of my publications, please visit my DBLP profile. You can also download my curriculum vitae for more details on my academic background.

Selected Publications

Teaching

Contact

Email: omar [dot] albataineh [at] gssi [dot] it