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 from 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. He 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.

​My Research interest include High Performance computing & model checking. Currently I am working on acceleration of model checking algorithms with application in analysis of gene regulatory networks.

​Journal Articles

  • 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

    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)
    Lecturer (April 2008-April 2011), RCMS, National University of Science and Technology (NUST)
    Assistant Professor.  May 2011 to Present at RCMS, NUST
    ​Funded Projects:
    Title: Establishment of Supercomputing Centre at NUST, Pakistan
    Funding Body: Ministry of Science & Technology, Pakistan
    Funding: 400,000 USD
    Duration: June 2008 to Jan 2010.
    Executing Body: National University of Sciences and Technology (NUST), Pakistan