Junaid Haroon Siddiqui
Assistant Professor
Dr. Junaid Haroon Siddiqui is an Assistant Professor of Computer Science at LUMS School of Science and Engineering. Previously, he received Ph.D. in Computer Science from The University of Texas at Austin. He is leading the Program Analysis Group for research in using automated analysis for software reliability.
Affan Rauf
Ph.D. Student
.......................................... .......................................... .......................................... .......................................... .......................................... .......................................... .......................................... .......................................... .......................................... ..........................................
Aatira Anum Ahmed
MS Thesis Student
Aatira Anum completed BS Computer Science from National University of Computer and Emerging Sciences (NUCES-FAST) in 2010 and worked for three years in industry. Currently she is doing MS Computer Science from Lahore University of Management Sciences (LUMS). Her topic of thesis is Symbolic Execution Assisted Event Sequencing for web applications.
Maryam Salman
MS Thesis Student
.......................................... .......................................... .......................................... .......................................... .......................................... .......................................... .......................................... .......................................... .......................................... ..........................................
Muhammad Sohaib Ayub
MS Thesis Student
Sohaib received his Bachelors in Information Technology (BS IT) degree from SEECS, NUST Islamabad where he was part of High Performance Computing Lab. His area of interests includes Program Analysis, High Performance Distributed Computing and Software Defined Networking. Sohaib has been teaching assistant of many CS and EE courses including Digital Logic Design, Algorithms, Distributed System and Programming Courses.
Muhammad Suleman Mahmood
MS Thesis Student
Suleman completed B.Sc. Electrical Engineering from University of Engineering and Technology (UET), Lahore in 2011. Currently he is working at Techlogix as a Software Engineer in Financial Services Division and pursuing MS in Computer Science at Lahore University of Management Sciences (LUMS). His thesis topic is Symbolic Execution of Symbolic execution of stored procedures.
Mohsin Naeem
MS Thesis Student
Mohsin Naeem is an entrepreneur and currently pursuing Masters in Computer Science from LUMS University. He completed his BS in Computer Science from National University of Computer and Emerging Sciences. His area of research is Benign Race Detection in Java Memory Model.
Waqas ur Rehman
MS Thesis Student
Waqas completed BS Comp. Engg. from National University of Computer and Emerging Sciences (NUCES-FAST) and currently doing research on incremental model checking in PAG. His research interests include software analysis, distributed systems, business process automation and data migration techniques. He is earning his living as freelance software engineer.
Alumni
Sarmad Makhdoom
MS Thesis Student
Sarmad Makhdoom is a freelance programmer and moving towards entrepreneurship. He completed his MS Computer Science from Lahore University of Management Sciences (LUMS). His research interests include software analysis and testing. He worked on incremental symbolic execution as his MS Thesis.
Muhammad Adeel Khan
Research Assistant
Adeel has an undergrad from FAST-NU, and holds a Master from LUMS. He was involved in researching and coding programs having bugs caused due to their multithreaded nature, and how to reduce state space for such programs. He was involved in enhancing KLEE (symbolic executor) so that it can do symbolic execution on programs running on multiple threads (pthreads), plus using a scheme to reduce thread interleaving space for threads. His research interest includes program analysis, distributed software, network security.