Name:Omar I. Al-Bataineh

Country:Italy

Affiliation:Gran Sasso Science Institute (GSSI)

Research interests:Formal methods, Software engineering, Automated program repair