Dr. Farooq Ahmad
Associate Professor, Computer Science
Area of Interest: Petri net theory and applications, Formal methods, Simulation and modeling
Tel # (Off): 111-001-007   (180)
HEC approved PhD Supervisor

Biography: Dr. Farooq Ahmad completed his Ph.D. degree in Computer Science from Harbin Institute of Technology, P. R. China in 2009. He joined the Department of Computer Science, COMSATS Lahore Campus in February 2015 as an Associate Professor. He has been teaching courses related to Formal Methods at the graduate and undergraduate levels.

Courses Taught: Formal Methods

Link for the Course Lectures: Formal Methods Lectures

Supervised Ph.D. Students:

  1. Dr. Naeem Akhtar Khan, title “Formal Modeling, Simulation and Verification of Wireless Mesh Networks using Colored Petri Nets”.
  2. Dr. Abdul Qayum, title, “Computer Vision Based Pattern Matching and Displacement Detection During Fabric Printing” (Completed)
  3. Dr. Natash Ali Mian, title, “Agent based modeling and Analysis of Self Adaptive Systems using Formal Methods”.
  4. Dr. Hafiz Khalid Mahmood, title “Structures of Discrete Graphs and Modular Arithmetic”.
  5. Muhammad Ajmal, title, “Recognizing Different Human Activities from Unconstrained Videos” (Continued)

Co-Supervised Ph.D. Students:

  1. Dr. Sher Afzal Khan, title “Formal Analysis of Safety Properties of Railway Interlocking System”.
  2. Dr. Yaser Daanial Khan, title “Pattern Recognition within Digital Images using Neuro-Cognitive, Probabilistic and Statistical Paradigms”.
  3. Dr. Muhammad Shoaib Farooq, title “A Framework for the Evaluation and Improvement of First Programming Language”.


Research Citations


Book Chapters:
1. ZH Qaisar, Farooq Ahmad. (2015), " Analysis of VDM++ in Regression Test Suite, In , ", “Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence”, published by: IGI Global, USA, pp: pp. 382-417,    
2. H Huang, Hongwei (David) Du, Farooq Ahmad. (2013), "Job Shop Scheduling with Petri Nets.", “Handbook of Combinatorial Optimization”, pp. , 2nd Edition, , , published by: Springer-Verlag, New York, pp: 1667-1711   
Journal Papers:
1. Abid, A., Hussain, N., Abid, K., Farooq Ahmad., Farooq, M. S., Farooq, U. & Sabir, N (2016), "A survey on search results diversification techniques", Neural Computing and Applications, pp: 1207–1229, Vol: Volume 27, , Issue: Issue 5, Impact Factor: 1.71    (External URL)
2. Khan, N. A., Ahmad, F., Hussain, S. A., and Naseer, M. (2016), "Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications.", KSII Transactions on Internet and Information Systems, , pp: 3656-3671, Vol: 10, Issue: 8, Impact Factor: 0.365   
3. NA Khan and Farooq Ahmad. (2016), "Modeling and Simulation of Improved Random Direction Mobility Model for Wireless Networks using Colored Petri Nets.", Simulation: Transactions of the Society for Modeling and Simulation International, , pp: 323–336, Vol: 92(4), Issue: 4, Impact Factor: 0.721   
4. NA Khan, Farooq Ahmad & SA Khan. (2015), "SHER: A Colored Petri Net based Random Mobility Model for Wireless Communications, doi:10.1371/journal.pone.0133634, 2015.", PLoS ONE , pp: e0133634. , Vol: 10 (8), Impact Factor: 3.634   
5. MS Farooq, SA Khan, Farooq Ahmad, S Islam, A Abid (2014), "An evaluation framework and comparative analysis of the widely used first programming languages", PLOS ONE, pp: e88941, Vol: 9, Issue: 2, Impact Factor: 3.71   
6. Y.D. Khan, Farooq Ahmad, S.A. Khan, (2014), "Content-based image retrieval using extroverted semantics: a probabilistic approach", Neural Comput & Applic,, pp: 1735-1748,, Vol: 24, Issue: 7-8, Impact Factor: 1.76   
7. SA Khan, NA. Zafar and Farooq Ahmad, (2014), "Extending Petri nets to Reduce Control Strategies of Railway Interlocking System, .", Applied Mathematical Modeling, pp: 413-424, , Vol: 38 , Issue: (2), Impact Factor: 2.1   
8. NA Khan, Farooq Ahmad, SA Khan. (2014), "Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN", Abstract and Applied Analysis, pp: 9 , Vol: vol (2014) , Issue: Article ID 798927,   
9. YD Khan, SA Khan, Farooq Ahmad, S. Islam, (2014), "Iris Recognition Using Image Moments and k-means Algorithm", The Scientific World Journal, pp: 9 pages, Vol: Vol. (2014), Issue: Article ID 723595, Impact Factor: 1.73   
10. A. Sadiq, Farooq Ahmad, SA Khan, CVF Jose, T. Naz, MW Anwar. (2014), "Modeling and Analysis of Departure Routine in Air Traffic Control based on Petri Nets,", Neural Comput & Applic, Springer,, pp: 1099–1109, Vol: 25, Issue: 5   
11. Farooq Ahmad, I. Fakhir, S. A. Khan, Y. D. Khan, (2014), "Petri net-based modeling and control of the multi-elevator systems,", Neural Comput & Applic, , pp: 1601-1612, Vol: 24, Issue: 7, Impact Factor: 1.74   
12. MK Mahmood, Farooq Ahmad (2014), "Recursive elucidation of polynomial congruences using root-finding numerical techniques", Abstract and Applied Analysis, pp: 9 pages, Vol: Vol. 2014, Issue: Article ID 575064, Impact Factor: 1.274   
13. Y.D. Khan, Farooq Ahmad, S.A. Khan, (2014), "Situation recognition using image moments and recurrent neural networks,", Neural Comput & Applic,, pp: 1519-1529, Vol: 24, Issue: 7-8, Impact Factor: 1.76   
14. Farooq Ahmad and SA Khan, (2013), "Specification and verification of safety properties along a crossing region in a railway network control", Applied Mathematical Modeling,, pp: 5162–5170,, Vol: 37 , Issue: 7, Impact Factor: 1.706   
15. Farooq Ahmad and S. A. Khan, (2012), "Module-based architecture for periodic job-shop scheduling problem,", Computers & Mathematics with Applications, pp: 1-10, Vol: 64, Issue: 1, Impact Factor: 2.06   
16. Farooq Ahmad, H. J. Huang, and X. L. Wang. (2011), "Analysis of the Petri net model of parallel manufacturing processes with shared resources", Information Sciences, pp: 5249–5266,, Vol: 181, Impact Factor: 3.64   
17. Farooq Ahmad, H. J. Huang, and X. L. Wang. (2010), "Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources.", Journal of Systems and Software, , pp: 675-688, Vol: 83, Issue: 4, Impact Factor: 1.231   
Conference Papers:
1. NA Khan, Farooq Ahmad, SA Khan. (2014) " Coloured Petri Net Modeling and Analysis for Community based Wireless Mesh Networks, Accepted in IEEE SMC, San Diego USA, 2014.", 2014 IEEE International Conference on Systems, Man and Cybernetics (SMC), , pp: 1240-1245, Vol: 2015   
2. Farooq Ahmad, H. J. Huang, X. L. Wang, and W. Anwer. (2008) " A technique for generating the reduced reachability graph of Petri net models. ", IEEE Int. Conf. on Systems, Man, and Cybernetics (IEEE SMC 2008), pp: 3636-3641, Vol: 2008   


Harbin Institute of Technology, China
Sep 2006 to Nov 2009

Disclaimer: Profiles are editable by employees who may share the data of publications, experience and education upto the extent they want to share. Also CIIT Lahore is not responsible for any display of data on personal profiles.