​I am an associate professor at the Computer Science department at the University of Jordan. My research interest is formal verification and validation of security properties. I obtained my PhD in Software Engineering in 2010 from McMaster University under the supervision of Prof. Ridha Khedri. I obtained my MSc in Computer Science from the University of Jordan in 2004 and BSc in Computer Science from Applied Science University in 2001.  ​​