Junaid Haroon Siddiqui

Assistant Professor of Computer Science
Lahoer Uiversity of Management Sciences, Pakistan
+92 423 560 8197
[email protected]
My resume in PDF

I am an Assistant Professor of Computer Science at Lahore University of Management Sciences, Pakistan. My research interests are in the areas of program analysis and software verification. My work is funded by the National Center for Cybersecurity, Higher Education Commission, and LUMS competitive grants for faculty. I am supervising 5 Ph.D. students and have supervised 12 MS theses and 20 undergraduate projects. I Introduced 6 new courses at LUMS and helped revise Computer Science curriculum. Previously, I received Ph.D. from the University of Texas at Austin where I was part of the Software Verification, Validation, and Testing Group.

I am leading the Program Analysis Group for research in using automated analysis for software reliability. My current Ph.D. students are:

Affan Rauf
Maryam Salman (MS Thesis 2015)
Mohammad Sohaib Ayub (MS Thesis 2015)
Aatira Anum Ahmed (co-advised, MS Thesis 2015)
Saad Ahmed (co-advised)