Amirhoshang Hoseinpour Dehkordi

About Me

I am a Teaching Faculty in Computer Engineering at Sharif University of Technology (Kish Island). My research focuses on Multi-Agent Systems, Epistemic Logic, Formal Verification, Trustworthy AI, and the Algorithmic Foundations of Socially Aware Systems.

Education

• PhD in Computer Science, Institute for Research in Fundamental Sciences (IPM), 2016–2023
  Thesis: "Verification of Multi-Agent Learning Systems based on Epistemic Logic"
• MSc in Computer Science, University of Tehran, 2013–2016
  GPA: 3.9, Thesis: "Model Checking Multi-Agent Systems"
• BSc in Computer Science, Sharif University of Technology, 2005–2010

Experience

• Teaching Faculty, Sharif University of Technology (2024–Present)
• Teaching Faculty, Introductory & Advanced Programming, Formal Methods, Statistics
• Research, AI, Multi-Agent Systems, Logic-based Verification
• Industry, Software Development, Consulting, Game Development

Skills

Achievements

• Bronze Medal, National Informatics Olympiad
• 2nd Rank, Iran CS Ph.D. Nationwide Entrance Exam
• Fellowships: IPM-Foundation, National Elite Foundation
• Publications on COVID-19 Statistics, Epistemic Logic, Multi-Agent Systems

Contact

Email | Scholar | GitHub | LinkedIn

Download Resume