Imran Hashmi
Dr Imran Mahmood Q. Hashmi
Interests
My research interests revolve around cutting-edge research in Artificial Intelligence (AI) and Machine Learning (ML). With expertise in AI and ML techniques, I specialize in PyTorch, Graph Neural Networks, GPU-accelerated programming, and Multi-Agent Reinforcement Learning (MARL).
I have a strong background in Modern Software Engineering, Modeling & Simulation, Agent-based Simulations, Digital Twin Technologies, Geospatial Data Science, Geospatial Visual Analytics, and the analysis and formal verification of complex systems. In the domain of agent-based modelling, I have developed a high-performance and scalable simulation framework, generating realistic synthetic populations, and calibrating large-scale models.
At the Department of Computer Science, University of Oxford I am a member of the Allan Turing-funded project: The LARGE AGENT COLLIDER: Robust agent-based modelling at scale, where I contribute in the following sub-areas:
- Modelling languages and transformations for agent-based models
- Synthetic Environments; Synthetic populations; Synthetic agent behaviours
- Calibrating large-scale agent-based models
- Validation and verification of agent-based models
- Methods and Techniques:
- Data science, Data analytics, Computational modelling, Differentiable programming, Pytorch, Graph Neural Networks, CUDA, MARL
- High-Performance Computing using Oxford’s Advanced Research Computing (ARC) cluster.
- Visualization, Visual-analytics, dashboard development
Biography
Career Summary
I am currently working as a senior postdoc researcher at the Artificial Intelligence and Machine Learning group, Department of Computer Science, University of Oxford [2022]. I have also served as a member of the Macro Economic Modeling Team at the Institute of New Economic Thinking (INET), Oxford and a Visiting Research Fellow at the Oxford Center for Islamic Studies. I have served as a full-time Senior Research Fellow at the Center for Global Health Infectious Disease Research, College of Public Health, University of South Florida [2021-2022]. I have served as a Research Fellow/scientific software engineer at the Brunel University London, Department of Computer Science in the area of Modeling & Simulation [2019-2021].
I am a Tenured Associate Professor at the Department of Computing, School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology, (Pakistan); and the founding Director of the Center for Research in Modeling & Simulation (CRIMSON) [2015-2019]. 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’s degree in Software Engineering of Distributed Systems at School of Information and Communication Technology (ICT), KTH, Sweden in 2007
As a Senior Computer Scientist & AI Researcher
- Expert in Artificial Intelligence, Machine Learning, and cutting-edge computational methodologies.
- Proficient in advanced Modeling & Simulation, Agent-based Simulations, Digital Twin Technologies, Geospatial Data Science, and Visual Analytics.
- Demonstrated excellence in crafting robust simulation frameworks, creating realistic synthetic populations, and optimizing large-scale models with high-performance computing.
Focused on innovations in complex systems modelling and analytics for real-world impact, solving multidisciplinary challenges in epidemiology, ecology, social science, urban planning, climate science, public health, transportation systems, and environmental sustainability.
Past and Present Projects
Epidemics, Diseases Modeling and Healthcare Simulation
- Big and Efficient Agent-based Simulation Toolkit (BEAST), 2025
- An Agent-Based Modeling and Simulation Framework for the Epidemiological Surveillance and Emergency Response Management of the City of Makkah, 2025
- Gene-drive mosquito simulations to prevent malaria (Best paper award), 2024
- Synthetic populations; Populating agent-based models with realistic agent behaviours, 2024
- ACUTE AI-Based Agent-Based COVID-19 Simulation Framework, 2020
- Modelling Spread of Prevailing Epidemic Diseases in Pakistan Using System Dynamics, 2019
- Fetal Monitoring and Analysis to Prevent Miscarriages, 6th position in Microsoft Imagine Cup, 2018
- Analyzing Locomotion Activities in a Smart Hospital Using Agent-Based Modeling & Simulation, 2018
- Assistive Tool for Speech Disorder Diagnosis and Remote Therapy Progress Monitoring, 2017
- Aljazari Robot for Medical Services (ARMS), 2015
Environment, Energy, and Natural Resources
- Modelling and Forecasting of Residential Power Consumption Using Time Series Analysis, 2020
- Dynamic Modeling and Heat Flow Study of Thermal Power Plants, 2020
- Automated Waste Sorting for Smart Waste Management, 2019
- Modeling, Simulation, and Forecasting of Wind Power Plants in Pakistan Using Hybrid Approach, 2019
- Modelling and Forecasting of Tarbela Power Plant Generation Using Machine Learning, 2019
- Modelling and Optimization of V/UHF RF Propagation in Maritime Environment, 2019
- Agent-Based Modeling of Household Electricity Demand Profiles, 2018
Water Management and Conservation
- Multi-Modeling Approach for Effective Water Resource Management in NUST, 2020
- Modelling and Simulation of Urban Water Resources in NUST using WEAP Framework, 2019
- Behavioural Modeling of Household Water Consumption for Effective Water Supply 2017
Cybersecurity and IT Infrastructure
- Towards Trust Computing, 2020
- Modelling and Simulation of Cyberattacks Using Agent-Based Approach, 2019
- Performing Simulated Cyber-attacks to Evaluate Security Resilience of Large IT Infrastructures, 2016
Traffic Simulation and Crowd Dynamics
- Increasing Fuel Efficiency of Road Freight Transport via Vehicle Platooning, 2020
- Analyzing Emergency Evacuation Strategies for Large Buildings Using Crowd Simulation, 2019
- Virtual Vision for Driving Vehicles During Fog & Smog, 2018
- Agent-Based Crowd Simulation, Analysis & Optimization of Pedestrian Flow During Hajj, 2017
Systems Engineering
- Model Composition & Verification of Real-Time Systems Using Extended Finite State Machines, 2018
- Composability Verification of Complex Systems Using Colored Petri Nets, 2018
- Automated Transcription, Indexing, and Semantic Search of Multilingual Videos, 2016
- Evaluating Collaborative Internet of Things Through Agent-Based Modeling and Simulation, 2016