Junaid Haroon Siddiqui

I am an Associate Professor of Computer Science at Lahore University of Management Sciences, Pakistan. My research interests are in the areas of program analysis and software verification. I am leading the Program Analysis Group for research in using automated analysis for software reliability. Previously, I received Ph.D. from the University of Texas at Austin where I was part of the Software Verification, Validation, and Testing Group.

Selected Publications

Click for more publications...