Dr. Umar Janjua




4th Floor, Arfa Software Technology Park, Ferozpur Road, Lahore.


+92 42-111-111-488 Ext. 6024


I am an Assistant Professor in the department of Computer Science at the Information Technology University. I graduated from GIKI with BS in CS engineering in 2001, worked for a startup named “Enabling Technologies” for two years, accepted full PhD scholarship at Cambridge University, UK, joined Microsoft Corporation as Software Engineer in 2008 and worked there until 2017.

My research interests include

  • Static analysis
  • Program verification and synthesis
  • Big data security
  • Applied cryptography


Muhammad Umar Janjua. 2015. OnSpot system: test impact visibility during code edits in real software. In ACM Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015).
Muhammad Umar Janjua and A. Mycroft, Automatic Correction to Safety Violations in Programs”, in Thread Verification (TV06), August 20 – 22, 2006 ,Seattle, WA.
U. Janjua, M. Yasin, F. Sher, K. Awan, I. Hassan “CEJVM: “Cluster Enabled Java Virtual Machine”, in IEEE International Conference on Cluster Computing (CLUSTER’02) , September 23 – 26, 2002,Chicago, Illinois.
Patents: Automatic fraudulent digital certificate detection, US Patent: 8966659, Grant, 2015
Certificate Eval. for Authority Reputation Advising, Publication: 20140359281, Application, 2014