Index

Imran Mahmood Hashmi
Assistant Professor
Department of Computing

School of Electrical Engineering and Computer Science (SEECS)
National University of Sciences and Technology (NUST)
NUST Campus H-12, Islamabad
Tel: 051-90852162
Email: imran.mahmood@seecs.edu.pk
Web: www.crimson.seecs.nust.edu.pk

Specialization:
Software Enginneering, System Modeling and Analysis, Formal Verification

Education:
PhD - Ph.D., Electronics & Computer Systems (Equivalent to Computer Science by HEC, Pakistan) - KTH Royal Institute of Technology Sweden - Pakistan - 2013

Currently working as Assistant Professor at the Department of Computing, School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology, (Pakistan); and as Director – Center for Research in Modeling & Simulation (CRIMSON); Worked as Assistant Professor at the College of Computer Science, University of Dammam; Worked as Assistant Professor at Dept. of Electrical Engineering,  University of Engineering & Technology, Lahore; supervised ongoing research projects as Lead researcher at the Center for Simulation and Visual Analytics Research;

Earned Doctoral degree in Software & Computer Systems at School of Information and Communication Technology (ICT), KTH-Royal Institute of Technology Sweden in 2013; Earned Master degree in Software Engineering of Distributed Systems at School of Information and Communication Technology (ICT), KTH-Royal Institute of Technology Sweden in 2007;

Research interests in Applied Modeling & Simulation, Distributed Artificial Intelligence, Multi-agent systems; Analysis & formal verification of complex systems with several years of experience. Worked in collaboration with Swedish Defense research agency (FOI) during the Masters and Doctoral research; Published quality research papers and delivered different workshops, lectures and invited talks; has served in IT industry earlier at various leading roles, at different private and governmental organizations.

Research Projects & Academic Activities
  • Research Project: Simulation Modeling and Analysis of Household Water Consumption in Pakistan using Hybrid approach, as Principle Investigator, funded by: US - Pakistan Center for Advanced Studies in Water, 2018 ($30,000).
  • Research Project: Simulation Modeling, Analysis and Forecasting of Electricity generation and consumption in Pakistan using System Dynamics approach, as Principle Investigator, funded by: US - Pakistan Center for Advanced Studies in Energy, 2016 ($30,000).
  • Research Project:  Fetal Monitoring and Analysis to Prevent Miscarriages,  ICT R&D National Grassroots ICT Research Initiative 2017-2018.
  • Research Project:  Emergency Evacuation Training using Virtual Reality, ICT R&D National Grassroots ICT Research Initiative 2017-2018.
  • Research Project:  Smart Waste Management,  ICT R&D National Grassroots ICT Research Initiative 2017-2018.
  • Research Project: “An integrated framework for the Epidemiological Surveillance and Emergency Response Management of the city of Makkah”, (as Co-Investigator), King Abdulaziz City for Science and Technology (KACST) annual grant, January 2015
  • Research Project: "Dengue Epidemic Surveillance Modeling, Visualization, and Response Management System; (as Lead Researcher), ICT Research & Development Fund, Pakistan, April 2013- June 2014
  • Research Project: “Applying machine learning techniques in the Syndromic Surveillance of Pakistan”, Center for Visual Analytics Research, Lahore Pakistan, December 2013
  • Research Project: "Defense Conceptual Modeling Framework (DCMF) for NATO research and technology organization (RTO) Modeling and Simulation Group" at Swedish Defense Research Agency, Stockholm Sweden, March 2010- 2011
  • Research Project: "Agent Based Discovery and composition of BOM based Models" at Swedish Defense Research Agency, Stockholm Sweden, June 2007

------------------------------------------------------------------------------------------------------------

Selected BS Degree Projects under supervision:

  • Analyzing Electrolytes in Chronic Kidney Disease Patients (In progress)
  • Fetal monitoring and Analysis to prevent miscarriages [1st position in Open House Competion 2018, 1st position in National Championship, 1st position in Middle East Semifinals, qualified as top 6 teams in AI out of 49 teams in Microsoft Imagine Cup finals at Seattle USA July 2018].
  • Virtual Vision for driving vehicles during Fog & Smog
  • Assistive Tool for Speech Disorder Diagnosis and Remote Therapy Progress Monitoring [3rd position in NUST Open House Competition 2017]
  • Automated Transcription, Indexing and Semantic Search of Multilingual E-learning Videos Monitoring [2nd position in NUST Open House Competition 2016]

 
 

Selected MS Thesis under supervision:

  • Performing Simulated cyber-attacks to evaluate security resilience of large IT infrastructures [Completed]
  • Evaluating Collaborative Internet of Things through Agent based Modeling and Simulation [Completed]
  • Agent based Crowd Simulation, analysis & optimization of Pedestrian flow during Hajj [Completed]
  • Behavioral Modeling of House Hold Water Simulation for Effective Water Supply and Management [Completed]
  • Agent Based Modeling of Household Electricity Demand Profiles [In Progress]
  • Model Composition & Verification of Real Time Systems Using Extended Finite State Machines [Completed]
  • Modeling spread of prevailing epidemic diseases in Pakistan using System Dynamics Approach [In Progress]
  • Composability Verification of Complex Systems using Colored petri nets [Completed]
  • Analyzing Locomotion activities in a Smart Hospital using Agent Based Modeling & Simulation [In Progress]

 

PHD Thesis under supervision:

  • Combat Modeling, Simulation, Analysis and Visualization framework for Defense Forces in Pakistan

Workshops and Invited Talks

  • Invited Talk on Modeling & Simulation of Complex Systems using Multi-method approach, at Department of Computer Science, Georgia State University & Center for Integrative Modeling & Simulation, Arizona State University, August 2018.
  • Workshop: Participated in a workshop on Research Challenges in Modeling & Simulation for Engineering Complex Systems by National Science Foundation, Arlington USA January 2016
  • Workshop: Conducted a workshop on Scientific Writing and Research Methodology at Al-Khawarizmi Institute of Computer Science, University of Engineering & Technology Lahore, Pakistan. April 2014.
  • Keynote speaker: “Foundations and Technical Challenges of Combat Modeling” at International Conference on Modeling & Simulation (ICOMS), Islamabad, Pakistan. November 2013.
  •  Invited talk on: “Executable Modeling - A model driven approach of programming and analyzing complex systems”, at the Center for Advanced Studies in Mathematics (CASM), LUMS, Lahore, Pakistan in collaboration with IEEE, September 2013

 

  • Invited Talk on Multi Objective Optimal Component Selection Problem, at Swedish Defense Research Agency, Stockholm Sweden, Jan 2013

 

Memberships

  • Invited member in Technical Committee, SCS Technical Committee on M&S Body of Knowledge 2018
  • Professional Member: Association for Computing Machinery
  • Professional Member: SIGSIM
  • Technical Member: Society for Modeling & Simulation, int’l (SCS) – Modeling & Simulation Body of Knowledge
  • Technical Program Committee of Modeling & Simulation related conferences
Journal

Sahar Idwan , Imran Mahmood, Junaid Ahmed Zubairi, Izzeddin Matar , "Optimal Management of Solid Waste in Smart Cities using Internet of Things", Wireless Personal Communications, Vol. 1 , No. 2, Sep, 2019. IF: 1.0
Imran Mahmood , Tameen Kausar, Hessam Sarjoughian, Asad Waqar Malik, & Naveed Riaz , "An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems", IEEE Access, Vol. 7 , No. 1, May, 2019.
Imran Mahmood , Junaid A Zuberi , "Enabling Efficient Waste Transportation and Recycling in Smart Cities Using Internet of Things", IEEE Electrification Magazine (To appear in Sep19), Vol. 7 , No. 3, PP. 33, May, 2019. IF: 3.17
Murk , Asad Waqar Malik, Imran Mahmood, Nadeem Ahmed, and Zahid Anwar , "Big Data in Motion: A Vehicle-Assisted Urban Computing Framework for Smart Cities", IEEE Access, Vol. 7 , No. 1, Apr, 2019. IF: 3.557

Conference

Imran Mahmood , Talha Nadeem; Faiza Bibi; Xiaolin Hu; , "Analyzing Emergency Evacuation Strategies For Large Buildings Using Crowd Simulation Framework", Proceedings of the Winter Simulation Conference 2019, Dec, 2019, National Harbor, Maryland , USA.
Imran Mahmood , Junaid Ahmed Zubairi, Sahar Idwan, Izzeddin Matar , "Experiments in Routing Vehicles for Municipal Services", Proceedings of the The International Conference on High Performance Computing & Simulation (HPCS 2018), Jul, 2018, Orléans , France.
Fahad Maqbool , Asad W Malik, Imran Mahmood, Gabriele D'Angelo , "SEECSSim - A PARALLEL AND DISTRIBUTED SIMULATION FRAMEWORK FOR MOBILE DEVICES", Proceedings of the Proceedings of the 22-th ACM/IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018), Jul, 2018, Madrid , Spain.
M. Haris , M. Badar, M. Alvi, I. Mahmood , "Modeling Safest and Optimal Emergency Evacuation Plan for Large-scale Pedestrians Environments", Proceedings of the Winter Simulation Conference, Jan, 2018, Gothberg , Sweden.
M. Alvi , I. Mahmood, F. Javed, A.W. Malik, H. Sarjoughian , "Dynamic Behavioural Modeling, Simulation and Analysis of Household Water Consumption in an Urban Area: A Hybrid Approach", Proceedings of the Winter Simulation Conference , Jan, 2018, Gotheberg , Pakistan.
A. W. Malik , Imran Mahmood , "Crash Me Inside The Cloud: A Fault Resilient Framework for Discrete Event Simulation", Proceedings of the Proceedings of the SCSC '17 Proceedings of the Summer Computer Simulation Multi-Conference,, Jul, 2017, Seattle, Washington , United States.
I. Mahmood , M Haris, H. Sarjoughian , "Analyzing Emergency Evacuation Strategies for Mass Gatherings using Crowd Simulation And Analysis framework: Hajj Scenario", Proceedings of the Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation , May, 2017, NTU , Singapore.
S. Idwan , J. Zubairi, I. Mahmood , "Smart Solutions for Smart Cities: Using Wireless Sensor Network for Smart Dumpster Management", Proceedings of the Collaboration Technologies and Systems (CTS), 2016 International Conference on. IEEE, Jan, 2016, Orlando , United States.
A. W. Malik , I. Mahmood, A. Parkash , "Energy consumption of traditional simulation protocol over SmartPhones: an empirical study (WIP)", Proceedings of the Proceedings of the Summer Computer Simulation Conference (SCSC '16), Jan, 2016, San Diego , United States.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "Composability Verification of Real Time System Models using Colored Petri Nets", Proceedings of the Proceedings of 15th International Conference on Modeling and Simulation Cambridge University (Emmanuel College), Apr, 2013, Cambridge , United Kingdom.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "Composability Verification of Real Time System Models using Timed Colored Petri Nets", Proceedings of the In the Proceedings of the 2012 Winter Simulation Conference, Dec, 2012, Berlin , Germany.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "Verifying Dynamic Semantic Composability of BOM-Based Composed Model Using Colored Petri Nets", Proceedings of the ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (PADS) , Jan, 2012, Zhangjiajie , China.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "Fairness Verification of BOM-Based Composed Models Using Petri Nets", Proceedings of the IEEE Workshop on Principles of Advanced and Distributed Simulation (PADS), Jun, 2011, Nice , France.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "Composability Test of BOM based models using Petri Nets", Proceedings of the 22nd IFIP International Conference on Testing Software and Systems (ICTSS-2010), Nov, 2010, , Brazil.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "Behavioral Verification of BOM based composed models", Proceedings of the 22nd European Modeling & Simulation Symposium (EMSS2010) , Oct, 2010, , Morocco.
I. Mahmood , R. Ayani, V. Vlassov, F. Moradi , "State-machine matching in BOM based model composition", Proceedings of the 13th IEEE/ACM Int. Symp. Distributed Simulation and Real Time Applications DS-RT, Jan, 2009, , Singapore.
F. Moradi , R. Ayani, I. Mahmood , "An Agent-Based Environment for Simulation Model Composition", Proceedings of the 22nd Workshop on principles of Advanced and Distributed Simulation , Jun, 2008, Rome , Italy.

Book/Chapter

[Book] I. Mahmood , , "A Verification Framework for Component Based Modeling and Simulation: “Putting the pieces together", KTH Royal Institute of Technology KTH Royal Institute of Technology, ISBSN 978-91-7501-628-3,Feb, 2013.
[Book] I. Mahmood , , "An agent based environment for discovery and composition of simulation components", KTH Royal Institute of Technology KTH Royal Institute of Technology, ISBSN KTH/ICT/ECS-2007-141,Dec, 2007.

Experience

Department of Computer Science and Information Technology                                              June 2014 to August 2015

University of Dammam, KSA

As Assistant Professor

  • Courses: Software Engineering, Modeling & Simulation, Multi-Agents, Selected Topics in CS.
  • Led research activities in the area of Healthcare Modeling and Simulation and involved in writing project proposals for local and international grants:
    • Project Proposal: “Healthcare Intervention research using Modeling and Simulation” in preparation with the collaboration of King Fahd Dammam University Hospital.
    • Project Proposal: “An integrated framework for the Epidemiological Surveillance and Emergency Response Management of the city of Makkah(under review at: King Abdulaziz City for Science and Technology (KACST) annual grant)
  • Supervised BS Final Projects
    • Project: Newborn immunization information systems
    • Project: ARMS Medical Robotic Services
  • Member of: ABET Committee, E-Learning committee

Department of Electrical Engineering,                                                                                                          April 2013 to Date

University of Engineering & Technology (UET), Lahore Pakistan                                                                                           

As Assistant Professor (and remote research consultant)

  • § Courses:
    • System Modeling & Simulation (2013, 2014)
    • Scientific Writing and Research Methodology (2014)

 

Center for Simulation & Visual Analytics Research, UET, Lahore Pakistan                                April 2013 to April 2014

As Lead Researcher

  • § Supervised research and development of the projects:
  • Dengue Epidemic Surveillance Modeling, Visualization, and Response Management funded by National ICT R&D fund (represented the project as PI in the ICT-R&D annual PIs meeting)
  • Studying the population dynamics and transmissibility of vectors of different infectious diseases using System Dynamics Simulation
    • § Research Area:
      • Epidemiology of Infectious Diseases (Modeling, Simulation & Visualization)
      • Bio-Surveillance (Distributed Systems)
      • Data Visualization (Visual Analytics, Spatio-Temporal Visualization frameworks)

School of ICT, KTH Royal Institute of Technology, Stockholm, Sweden                                             Nov 2008 to Feb 2013

As PhD Candidate/ Academic Researcher

  • Has worked in collaboration with Swedish Defense research agency (FOI) during Masters and Doctoral research and participated in different development projects. Also delivered different workshops and seminars at FOI.
  • Designed, developed and implemented Verification framework for Component Based Modeling and Simulation.
  • Involved in formal verification of the complex real-time stochastic systems using Dynamic Analysis and Model Checking Techniques.
  • Deep knowledge of System Theory, Probabilistic System Modeling, Modular System Design, Verification & Validation.

Swedish Defense Research Agency (FOI), Stockholm Sweden                                                             Apr 2007 to Dec 2007

As MS Research Internee

  • Masters Research Internship at Swedish Defense Research Agency FOI
  • Participated in a research project at FOI that focused on the agent based semantic discovery of simulation components in a distributed repository and the verification of composition of the components
  • Topics: Component Oriented Software Engineering, Agent Development Frameworks, Semantic Composability of Components

Virtual University of Pakistan, Govt. of Pakistan, Lahore, Pakistan                                                                  2003 to 2006

As System In charge (Head of Department)

  • Distant Learning Project Development
  • Responsible for the overall administration and supervision of the Multi-media Data center facility.
  • Architected the system design (Software/hardware) and implementation.
  • Supervision of high speed Fiber Channel Shared Storage Network, Oracle DB clusters

Worked in different Software development companies                                                                                     2000 to 2003

Arshlink Technologies, Lahore, Pakistan                                                                                                                                     

Acrologix Pvt. Ltd., Lahore, Pakistan

As Programmer

  • Web Development
  • VC++ Programmer
  • Graphics Programming
  • 3D Programming and Visualization