Formal methods in SE, HCI
· PhD in Computer Science University of Leicester, England, UK.
· MSc in Advanced Computer Science (Distinction) University of Leicester, England, UK.
· Bachelor of Science in Information Technology (Gold Medallist) COMSATS, Institute of Information Technology, Pakistan