Name:Omar Al Bataineh

Country:Singapore

Affiliation:National University of Singapore, Singapore

Research interests:Formal methods, runtime verification, program repair