The program analysis group at Computer Science Department of LUMS works under the guidance of Dr. Junaid Haroon Siddiqui. Our research is focused on automated verification using program analysis techniques to build reliable and secure programs with an emphasis on parallel, distributed, and concurrent systems software.
We are currently exploring program analysis techniques for analyzing MPI programs, database applications, and web applications with a goal of making them more reliable by exploring scenarios often overlooked by programmers. In addition, we are working on general incremental techniques to make the core algorithms faster.
We are actively looking for MS Thesis students and for Ph.D. students to work in this area. Undergraduate students can work on implementing certain techniques as their final year projects. If you are excited, let us know to discuss opportunities in our research group.