Education
The University of Texas at Austin, Austin, TX
PhD Software Engineering (Fall 2007 – Spring 2012) < div class="indented">Disseration: Improving systematic constraint-driven analysis using incremental and parallel techniques. [pdf, < a href="slides/thesis-slides.pdf" target="_blank" onclick="_gaq.push(['_trackEvent','Download','PDF',this.href])">slides, bib]
Supervisor: < a href="http://users.ece.utexas.edu/%7Ekhurshid/">Dr. Sarfraz Khurshid. GPA 3.95/4.00. Fulbright scholar.
< a href="http://nu.edu.pk">National University of Computer and Emerging Sciences (FAST-NU), Lahore, Pakistan
MS Computer Science (Fall 2001 – Spring 2003)
Dissertation: Decentralized key management for large dynamic multicast groups using distributed balanced trees. [ < a href="papers/msthesis.pdf" target="_blank" onclick="_gaq.push(['_trackEvent','Download','PDF',this.href])">pdf, < a href="slides/msthesis.pdf" target="_blank" onclick="_gaq.push(['_trackEvent','Download','PDF',this.href])">slides, bib]
Supervisor: Shafiq-ur-rehman. Gold medal with GPA 3.83/4.00.

BS Computer Science (Spring 1998 – Fall 2001)
Silver medal with cumulative GPA 3.86/4.00 and major GPA 4.00/4.00.
Experience
LUMS School of Science and Engineering – Department of Computer Science, Lahore, Pakistan
Assistant Professor (August 2012 – Now)
The University of Texas at Austin – Department of Electrical and Computer Engineering, Austin, TX, USA
Adjunct Professor (Summer 2013)
Google Inc., Kirkland, WA
Software Engineering Intern (Summer 2011)
Worked on Cloud storage platform.
Microsoft Corp., Redmond, WA
Research Intern (Summer 2010)
Worked on making a software analysis algorithm incremental and thus efficient to run on periodic builds of Windows Azure codebase.
Vahzay Pvt Ltd, Lahore, Pakistan
Software Architect (August 2006 – June 2007)
Liaison with our onshore client (Teneros Inc.) and leading a team of five developers. We developed a real time diagnostics and recovery engine for Microsoft Exchange faults.
MetaApp Pvt Ltd, Lahore, Pakistan
Manager Software Development (August 2004 – July 2006)
Liaison with our onshore client (Zenprise Inc.) and leading a team of five developers. We developed a module for finding problems in mail flowing between Microsoft Exchange servers and a set of tools to enable scripting of fault recovery.
Simitrix Pvt Ltd, Lahore, Pakistan
Director (July 2002 – July 2004)
With two colleagues, an entrepreneurship effort for offshore software development. We adapted a Windows 98 device driver of a wavelet compression based capture card for an offshore client. We also integrated a thumb recognition device for an automated attendance system.
National University of Computer and Emerging Sciences (FAST-NU), Lahore, Pakistan
Full-time Instructor (January 2004 – July 2004)
Research Officer (August 2001 – July 2002)
Research Assistant (Summer 2001)
Teaching Assistant (Spring 2000, Summer 2000, Fall 2000, Spring 2001, Fall 2001)
Esstec Pvt Ltd, Lahore, Pakistan
Software Engineer (April 2000 – May 2001)
Development, unit testing, and integration of modules in the overall solution. We designed and implemented a web based enterprise portal.