Mr. Muhammad Tariq Saeed
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
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.
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, http://dx.doi.org/10.1016/j.compbiolchem.2014.10.003
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
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:
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:
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