6th Floor,

Arfa Software Technology Park, Lahore

P (042) - 111-111-ITU (488)

Dr. Muhammad Zubair Malik
Visiting Faculty
PhD The University of Texas at Austin
Postdoc the Center for Identity, UT Austin
Postdoc the Robotics Institute, CMU

Software Engineering: software verification, validation and testing, automated program analysis, understanding and parallelization.
Mobile Systems and Applications: participatory sensing, human computer interaction and machine learning.


Dr. Zubair Malik did his BS from GIKI, MSc from FAST-Lahore, and MSE and PhD from UT Austin. He worked as a Research Fellow at the Center for Identity at UT Austin and as a Postdoctoral Research Fellow at Robotics Institute at CMU. Dr. Malik has extensive work experience in the industry where he worked for IBM, ObjectVideo and Xavor (Lahore).

Dr. Malik enjoys building software systems to solve common problems and answer interesting research questions from large amount of data generated by the users of these systems. He has been working with Tiramisu Project at CMU to develop web application and mobile clients to build crowdsourced public transit information system, whose data he uses to solve O-D problem in transportation. Earlier, he lead the Identity EcoSystem project at the Center for Identity to detect identity fraud. Before that he developed tools and techniques to improve debugging of imperative (JAVA) programs manipulating complex data structures.

  • Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid: Repair Abstractions for More Efficient Data Structure Repair. RV 2013
  • Muhammad Zubair Malik, Sarfraz Khurshid: Dynamic Shape Analysis Using Spectral Graph Properties. ICST 2012
  • Muhammad Zubair Malik: Dynamic shape analysis of program heap using graph spectra. ICSE 2011
  • Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid: Constraint-Based Program Debugging Using Data Structure Repair. ICST 2011
  • Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid: Specification-Based Program Repair Using SAT. TACAS 2011
  • Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid: A Case for Automated Debugging Using Data Structure Repair. ASE 2009
  • Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid: Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008
  • Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid: Generating Representation Invariants of Structurally Complex Data. TACAS 2007
  • Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova: An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA 2006

  • Best Paper Nominee at ICST 2012
  • David Bruton Jr. Graduate School Fellowship (UT Austin)
  • Fulbright Scholarship (US Department of State)
  • PITB Outstanding Talent Scholarship (Govt. of Punjab)
  • HEC PhD Merit Scholarship (Ranked 4th in Pakistan)
  • Silver Medal in MSc Computer Science (FAST Lahore)
  • President Talent Farming Scheme Scholarship (Ranked 3rd in Pakistan)

  • Assistant Professor of Computer Science, Information Technology University
  • Research Fellow with APT lab, Robotics Institute, Carnegie Mellon University (Pittsburgh, USA)