Place of Birth : Pakistan
Position : Pro Rector Academics of NUST
Field of study : Formal Methods, Theorem Proving, Model Checking, Approximate Computing, Hardware Security
H. Index : 26