Dr. Umar Janjua

Email

umar.janjua@itu.edu.pk

Address

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

Phone

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

Research

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

Publications

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