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 a full Ph.D. 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
Dr. Umar has a Ph.D. from the University of Cambridge in abstract interpretation and model checking techniques for program verification and program correctness. He showed how to use a counter-example generated in a model checking algorithm and use that to synthesize corrections to the models in the programs of the programs. He built his technique over an open-source software LLVM where he showed how multicenter programs can be corrected with respect to race conditions and other types of interesting attributes. Dr. Umar also worked at Microsoft working with various static verification tools like PREfix, PREfast, and SLAM (Simultaneous localization and mapping). He built an on-spot system that looked at the verification of large Windows codebase by looking at their code coverage.
At Blockchain Security Lab he has been working on verifying smart contracts. Here he looked at identifying different properties of smart contracts. In his recent research paper, he built the static analysis of the smart contract and a sound algorithm for the static extraction of the data from the smart contracts. This research has been published in ACM Transactions on Software Engineering and Methodology. His work also includes building new protocols for distributed verification issuance of certificates. He also used theorem prover like Tamarin to show the proof of correctness of those things.