Profile Picture

Dr. Ahmad Taghinezhad

Assistant Professor of Computer Engineering, University of Tabriz

I have the privilege of leading the Distributed Systems & Intelligent Systems Lab at the University of Tabriz. Our research explores mathematical modeling, formal verification, and scalable cloud–edge architectures, with a focus on efficient scheduling, robustness, and system correctness in distributed environments.

Beyond theory, we also develop AI-powered applications for industry, bringing innovative ideas into practice. I truly enjoy mentoring graduate and undergraduate students, helping them apply scientific thinking to solve real-world challenges.

Collaboration is at the heart of our work. I actively build international partnerships that accelerate technology transfer and open new directions for research and innovation.

If you are a student or researcher excited about distributed and intelligent systems—or if you are curious about collaborating on impactful project, I’d be glad to connect.

Distributed Systems • Scheduling Algorithms • Cloud Computing • Large Language Models • Formal Methods

Recent Publications

Journal Article
IF: 8.1 Q1

Fault-Tolerant Cost-Efficient Scheduling for Energy and Deadline-Constrained IoT Workflows in Edge-Cloud Continuum

Taghinezhad-Niar, Ahmad & Taheri, Javid

IEEE Transactions on Services Computing (2025)

Keywords: Fault tolerance, Workflow scheduling, IoT, Edge-Cloud, Energy efficiency
Journal Article
IF: 6.5 Q1

Security, Reliability, Cost, and Energy-aware Scheduling of Real-Time Workflows in Compute-Continuum Environments

Taghinezhad-Niar, Ahmad & Taheri, Javid

IEEE Transactions on Cloud Computing (2024)

Keywords: Security, Real-time systems, Reliability, Compute continuum, Workflow scheduling
Journal Article
ISC

State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets

Taghinezhad-Niar, A

International Journal of Web Research (2024)

Keywords: Colored Petri nets, Puzzle games, Complexity analysis, State-space modeling
Journal Article
IF: 6.5 Q1

Reliability, Rental-Cost and Energy-Aware Multi-Workflow Scheduling on Multi-Cloud Systems

Taghinezhad-Niar, Ahmad & Taheri, Javid

IEEE Transactions on Cloud Computing (2023)

Keywords: Multi-cloud, Reliability, Rental cost, Energy-aware scheduling, Workflow management
Journal Article
IF: 4.4 Q1

QoS-aware online scheduling of multiple workflows under task execution time uncertainty in clouds

Taghinezhad-Niar, Ahmad, Pashazadeh, Saeid & Taheri, Javid

Cluster Computing, Springer (2022)

Keywords: Cloud computing, QoS, Workflow scheduling, Uncertainty handling
Journal Article
IF: 3.7 Q2

Energy-efficient workflow scheduling with budget-deadline constraints for cloud

Taghinezhad-Niar, Ahmad, Pashazadeh, Saeid & Taheri, Javid

Computing, Springer (2022)

Keywords: Energy efficiency, Budget-deadline constraints, Workflow scheduling, Cloud computing
Journal Article
IF: 4.4 Q1

Workflow scheduling of scientific workflows under simultaneous deadline and budget constraints

Taghinezhad-Niar, Ahmad, Pashazadeh, Saeid & Taheri, Javid

Cluster Computing, Springer (2021)

Keywords: Scientific workflows, Deadline constraints, Budget constraints, Scheduling algorithms
Journal Article
ISC

A Fault Tolerant Multi-Controller Framework for SDN DDoS Attacks Detection

Taghinezhad-Niar, A. & Valizadeh, P.

International Journal of Web Research (2022)

Keywords: SDN, DDoS detection, Multi-controller, Fault tolerance
Conference Paper IEEE

A Client-Centric Consistency Model for Distributed Data Stores using Colored Petri Nets

Taghinezhad-Niar, A.

2024 10th International Conference on Web Research (ICWR) (2024)

Keywords: Distributed systems, Consistency models, Colored Petri nets, Data stores
Conference Paper IEEE

DDoS Attacks Detection in Multi-Controller Based Software Defined Network

Taghinezhad-Niar, A. & Valizadeh, P.

8th International Conference on Web Research, ICWR 2022

Keywords: SDN, DDoS detection, Network security, Multi-controller
Conference Paper IEEE

Modelling and analysis of the monotonic read consistent distributed system using coloured Petri net

Taghinezhad-Niar, A. & Pashazadeh, S.

2016 Eighth International Conference on Information and Knowledge Technology (IKT)

Keywords: Distributed systems, Monotonic read consistency, Colored Petri nets
Conference Paper IEEE

Modeling of Resource Monitoring in Federated Cloud using Colored Petri Net

Taghinezhad-Niar, A., Javadzadeh, T. & Farzinvash, L.

Knowledge-Based Engineering and Innovation (KBEI), 2017

Keywords: Federated cloud, Resource monitoring, Colored Petri nets, Cloud management

Reviews for

Q1

Mathematics and Computers in Simulation

Elsevier Journal • JCR Q1

Q1

Reliability Engineering & System Safety

Elsevier Journal • JCR Q1

Q1

Scientific Reports

Nature Portfolio • JCR Q1

Q2

Journal of Supercomputing

Springer Journal • JCR Q2

Q1

Cluster Computing

Springer Journal • JCR Q1

Q2

Computing

Springer Journal • JCR Q2

Conference

8th International Conference on Web Research (ICWR2022)

IEEE Conference • May 11-12, 2022

Awards & Certifications

  • Recieved the recruitment plan in the executive board award from National Elites Fundation of Iran, 2023.
  • Recieved the Sayyad Shirazi award from National Elites Fundation of Iran, 2022.
  • Admitted as an Exceptional Talent for Ph.D. programs, 2021.
  • Participate in Erasmus Eu project , University of Bonn, Bonn, Germany, Feb 2018
  • Practical Workshop on Wireless Networks Security and Ethical Hacking, University of Tabriz, Tabriz, Iran, 2017
  • 1st Place - Ph.D - Computer Engineering 2017-2021
  • 2st Place - Master of Science - Software Engineering 2015-2017
  • Top student - Bachelor - Software Engineering
  • Honored Person in Iran Periodical Technology Competition (“Fannavard”) as a Full stack developers - 2016
  • Honored Person in ICT-Sharif Competition as a Programmer - 2020

Contact Me

Send me your message



احمد تقی نژاد نیار