PhD Student · ALPACAS · AGML

Aminreza Najafinia

PhD student in Computer Science at Amirkabir University of Technology.

Parameterized Algorithms · SAT/SMT Solving · Computational Geometry · Graph Algorithms · Graph Neural Networks

About me

I am a PhD student in Computer Science at Amirkabir University of Technology, supervised by Dr. Zahed Rahmati and Prof. Amir Goharshady. I am a member of the ALPACAS research group and of the AGML group at AUT.

My current research focuses on parameterized algorithms, SAT/SMT solving, computational geometry, and graph algorithms. Graph neural networks and applied machine learning remain part of my work.

My master's thesis used graph-based spatiotemporal modeling and explainable AI to study how hydro-climatic and environmental factors drive dust-storm activation. I also work as an AI engineer on machine-learning-based network security and natural-language access to enterprise data.

Portrait of Aminreza Najafinia

Research interests

Parameterized Algorithms

Parameterized complexity and algorithmic techniques for structured computational problems.

SAT & SMT Solving

Structural and algorithmic approaches to satisfiability and satisfiability modulo theories.

Computational Geometry

Geometric structures and techniques for algorithmic and constraint-solving problems.

Graph Algorithms

Structural graph methods and their applications in algorithms and formal reasoning.

Graph Neural Networks

Graph-based learning methods for structured and spatiotemporal data.

Applied work: spatiotemporal modeling, explainable AI, anomaly detection, and machine learning.

Publications & manuscripts

Education

2026–Present

PhD in Computer Science (Artificial Intelligence)

Amirkabir University of Technology

Supervisors: Dr. Zahed Rahmati and Prof. Amir Goharshady

2024–2026

MSc in Computer Science (Artificial Intelligence)

Amirkabir University of Technology

GPA: 18.60 / 20 · Thesis grade: 19.25 / 20

Thesis: graph-based spatiotemporal modeling and explainable AI for dust-storm activation. Supervisor: Dr. Zahed Rahmati

2020–2024

BSc in Computer Science

Ferdowsi University of Mashhad

GPA: 18.75 / 20

Teaching

Teaching Assistant · Ferdowsi University of Mashhad 2022–2024

  • Design of Algorithms
  • Principles of Artificial Intelligence
  • Principles of Computer and Programming