Affan Rauf

Assistant Professor
  • Department of Computer Science
  • affan.rauf@nu.edu.pk
  • (041) 111-128-128
  • Ext: 124

Introduction

Affan Rauf did his Ph.D. from Lahore University of Management Science (LUMS) in December 2019. His key research area is automated software testing and verification. In particular, he is interested in static as well as dynamic techniques to generate test cases and model-check software. While at LUMS, he served as a Teaching Fellow as well as a Research Associate during 2018-19.

Before starting his Ph.D., he served as an Assistant Professor at the University of Management and Technology, Lahore (2013-14), and as an Assistant Professor (Visiting) at GCU, Faisalabad for a semester (2012).

He has ~6 years of working in the local software industry in different capacities, which include system analyst, software engineer, freelance web developer as well as a start-up founder. He has industry experience of working in C, Java and J2EE, and WordPress.

He completed his Masters (CS) from LUMS in 2007 and Bachelors (CS) from FAST-NUCES (Lahore Campus) in 2004.

Education

  • Ph.D. (Computer Science), 2019
  • Lahore University of Management Sciences (Pakistan)
  • M.S. (Computer Science), 2007
  • Lahore University of Management Sciences (Pakistan)
  • B.S. (Computer Science), 2004
  • National University of Computer and Emerging Sciences – Lahore Campus (Pakistan)
  • M.A. (Islamic Studies) 2012
  • University of Central Punjab (Pakistan)

Publications

Rauf, Affan, Muhammad Nawaz, and Junaid Haroon Siddiqui. “Effective State Encoding for Breadth-First Generation of Complex Structures.” IEEE Transactions on Reliability 68, no. 3 (2019): 1154-1167.

Rauf, Affan, Muhammad Nawaz, and Junaid Haroon Siddiqui. “Efficient iterative deepening for bounded exhaustive generation of complex structures.” In Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, pp. 346-347. 2018.

Siddiqui, Junaid H., Affan Rauf, and Maryam A. Ghafoor. “Advances in Software Model Checking.” In Advances in Computers, vol. 108, pp. 59-89. Elsevier, 2018.