Registered user since Mon 21 Jan 2019
Name: Junaid Haroon Siddiqui
Bio: I am an Assistant Professor of Computer Science at Lahore University of Management Sciences, Pakistan, where I am leading the Program Analysis Group for research in using automated analysis for software reliability. My work is funded by Pakistan Planning Commission, 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. Previously, I received Ph.D. from the University of Texas at Austin where I was part of the Software Verification, Validation, and Testing Group.
Affiliation: Lahore University of Management Sciences
Personal website: https://www.junaidharonsiddiqui.com
Research interests: program analysis, software verification, software testing