Aeminium - Freeing Programmers from the Shackles of Sequentiality

Ijaz Ahmad  completed his bachelor in Mathematics from Punjab University Lahore, Pakistan and M.Sc in Computer Science from Quaid-i-Azam University Pakistan in year 1999. He did another M.Sc in Softtware Engineering from Queen Mary University London, UK in year 2007.  He worked for around 10 years in industry and academia at different roles. Before coming here, he was working in COMSATS Institute of Information Technology, Abbottabad, Pakistan as a faculty member. His main area of research are Program specification and verification, Program Analysis and parallel Programing.