Registered user since Mon 26 Apr 2021
Name:Omar I. Al-Bataineh
Country:Italy
Affiliation:Gran Sasso Science Institute (GSSI)
Personal website: https://omarbat92.github.io/omar-website/
Research interests:Formal methods, Software engineering, Automated program repair
Contributions
Using general profile