Skip Ribbon Commands
Skip to main content
Mr. Muhammad Tariq Saeed
Assistant Professor
Department of Computational Sciences

National University of Sciences and Technology (NUST)
Research Center of Modeling and Simulation(RCMS), Academic-I Building, NUST Campus, H-12, Islamabad, Pakistan
Tel : +92-51-9085-5731

High Performance Computing, Model Checking

MS in Information Security, National University of Sciences & Technology (NUST) Pakistan

​Muhammad Tariq Saeed is serving as Assistant professor at Research Center of Modeling and Simulations(RCMS) since 2011. He completed MS Information Security from NUST in 2008 and served as Lecturer at RCMS from 2008-2011. He has also served as Incharge Supercomputing Research and Education Center (ScREC) from April 2009 to October 2012.​

His research interest includes High Performance Computing & Model checking. Currently he is working on acceleration of model checking algorithms with application in analysis of gene regulatory networks.

​Journal Articles

  • Amnah Nasim, Adnan Maqsood, and Tariq Saeed, "Multicore and GPU Based Pupillometry Using Parabolic and Elliptic Hough Transform," Journal of Image and Graphics, Vol. 5, No. 1, pp. 1-9, June 2017. doi: 10.18178/joig.5.1.1-9
  • Saeed MT, Ahmad J, Kanwal S, Holowatyj AN, Sheikh IA, Paracha RZ, Shafi A, Siddiqa A, Bibi Z, Khan M, Ali A. Formal modeling and analysis of the hexosamine biosynthetic pathway: role of O-linked N-acetylglucosamine transferase in oncogenesis and cancer progression. PeerJ. 2016 Sep 27;4:e2348.
  • Bibi Z, Ahmad J, Siddiqa A, Paracha RZ, Saeed T, Ali A, Janjua HA, Ullah S, Ben Abdallah E, Roux O. Formal Modeling of mTOR Associated Biological Regulatory Network Reveals Novel Therapeutic Strategy for the Treatment of Cancer. Frontiers in physiology. 2017 Jun 13;8:416.
  • Khan U, Ahmad J, Saeed T, Mirza SH. On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station. Complex Adaptive Systems Modeling. 2016 Dec 1;4(1):17.
  • Babar Aslam, Jamil Ahmad, Amjad Ali, Rehan Zafar Paracha, Samar Hayat Khan Tareen, Umar Niazi, Tariq Saeed , “On the Modelling and Analysis of the Regulatory Network of Dengue Virus Pathogenesis and Clearance”, Computational Biology and Chemistry Elsevier, 2014,

    International Conference Proceedings

  • On the use of Betweenness Centrality for selection of Plausible trajectories in Qualitative Biological Regulatory Networks, 6th International Conference on Bioinformatics and Biomedical Engineering, Granada, Spain
  • Iftikhar A. Sheikh, Jamil Ahmad, and Muhammad Tariq Saeed “Modelling and Simulation of Biological Regulatory Networks by Stochastic Petri Nets”, the World Congress on Engineering and Computer Science 2016 (WCECS 2016), At San Francisco, USA
  • Umar Khan, Jamil Ahmad, Tariq Saeed, Sikandar Hayat Mirza, “Real Time Modeling of Interlocking Control System of Rawalpindi Cantt Train Yard”, 13th IEEE International Conference on Frontiers of Information Technology (FIT), Islamabad, Pakistan 2015
  • Formal Analysis of Normal and Induced Apoptosis Pathway for Identification of Therapeutic targets against Cancer, The EACR-OECI Conference on Precision Medicine for Cancer, 1 – 4 March 2015, Neumünster Abbey, Luxembourg
  • Muhammad Tariq Saeed, Jamil Ahmad, “A Parallel Approach for Accelerated Parameter Identification of Gene Regulatory Networks”, International Conference on Bioinformatics and Biomedical Engineering, Granada, Spain, 2014
  • Muhammad Tariq, Shamim Baig, Muhammad Tariq Saeed, “Associating the Authentication and Connection-Establishment Phases in Passive Authorization Techniques”, Proceedings of the World Congress on Engineering 2008 Vol I, WCE 2008, July 2 - 4, 2008, London, U.K
  • Book Chapters

  • Muhammad Tariq Saeed, Jamil Ahmad, Amjad Ali, "On the Use of Betweenness Centrality for Selection of Plausible Trajectories in Qualitative Biological Regulatory Networks", In book: Bioinformatics and Biomedical Engineering, DOI: 10.1007/978-3-319-78723-7_47
  • Ayesha Obaid, Anam Naz, Shifa Tariq Ashraf, Faryal Mehwish Awan, Aqsa Ikram, Muhammad Tariq Saeed, Abida Raza, Jamil Ahmad, Amjad Ali, "Formal Modeling of the Key Determinants of Hepatitis C Virus (HCV) Induced Adaptive Immune Response Network: An Integrative Approach to Map the Cellular and Cytokine-Mediated Host Immune Regulations", In book: Computational Science and Its Applications – ICCSA 2018, DOI: 10.1007/978-3-319-95171-3_50
  • Invited Talks, Workshops & Seminars

  • International Symposium on Massively Parallel Architectures and Applications, in collaboration with Hewlett Packard (hp) Pakistan and NVidia (2012)
  • “Seminar on Personal Supercomputing” (in collaboration with Hewlet Packard (hp) Pakistan) (2012)
  • First Hands-on Workshop on “How to use and Program Supercomputers”, at Supercomputing Research & Education Centre (ScREC), NUST (2013)
  • Second Hands-on Workshop on “How to use and Program Supercomputers”, at Supercomputing Research & Education Centre (ScREC), NUST (2015)
    • April 2008-April 2011: Lecturer at RCMS, NUST
    • May 2011-Present: Assistant Professor at RCMS, NUST
    Worked on various ​Funded Projects by Industry:
    • Title: Establishment of Supercomputing Centre at NUST, Pakistan
    • Funding Body: Ministry of Science & Technolog (MoST), Pakistan
    • Funding: USD 400,000
    • Duration: June 2008 to Jan 2010.
    • Executing Body: National University of Sciences and Technology (NUST), Pakistan