Ijaz Ahmed, Dr.

Senior Research Fellow in ENUSRESEC

Ijaz Ahmed

Ijaz has worked as Assistant Professor in COMSATS University, Pakistan and Higher College Technology, UAE. He has also worked as Research Assistant in Aeminium project (A joint project of CMU and Madeira University). He has completed PhD and MSc in Software Engineering discipline from University of Madeira, Portugal and Queen Mary University, UK, respectively.

His research interests and skills include:

formal specification
model checking
static analysis
tool development