|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.
| 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 ﬁve 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.