hadi Gheitasi

IoT Solution Architect Apr 2022 -

Iran

• Led cross-functional teams (30+ engineers & interns) in Frontend, Embedded, and DevOps development. 

• Architected a scalable IoT platform for equipment and facility monitoring. 

• Integrated hardware/software modules, designed secure APIs, and optimized performance. 

• Built DevOps pipelines using Docker to streamline deployment and scalability. 

• Successfully launched a Persian-based IoT ecosystem, significantly advancing adoption in the industry.

Lecturer Sep 2018 - Jun 2024

Iran

• Planned and delivered undergraduate courses in Embedded System Design and Hardware Programming. 

• Prepared lectures, laboratory sessions, and hands-on projects on microcontrollers, FPGA, and hardware/ 

software co-design. 

• Supervised student projects on embedded IoT and real-time systems applications. 

• Evaluated student performance through assignments, exams, and project assessments. 

• Contributed to curriculum development and improvement of laboratory materials.

SYSTEM AND NETWORK ADMINISTRATOR Nov 2017 - Nov 2025

Iran

• Designed network architecture, managed servers, and implemented cybersecurity protocols. 

• Developed custom software, including online ticketing systems and network analysis tools. 

• Improved vendor cost-efficiency while ensuring compliance with international standards.

Sharif University of Technology 2012 - 2015

Field of study: Computer Engineering
Degree: Master

• Formal Modeling and Verification – Expertise in designing and verifying system models using timed automata 

and formal verification tools to ensure safety, liveness, and correctness in real-time and distributed systems. 

• Communication Protocol Design and Analysis – Strong understanding of MAC-layer mechanisms, timing 

synchronization, and collision-handling logic; capable of modeling, analyzing, and optimizing data-link protocols 

under ISO/IEC standards 

• Performance Evaluation and Statistical Analysis – Skilled in simulation-based performance assessment, 

statistical model checking, and quantitative analysis of system behavior to measure reliability, latency, and 

fairness. 

• Scalability and Optimization of Complex Systems – Experienced in refining large computational models and 

applying optimization strategies to reduce state-space complexity and improve system efficiency. 

• Fault Tolerance and Reliability Engineering – Knowledge of dependable system design, redundancy 

mechanisms, and recovery strategies ensuring robustness in distributed and networked environments. 

• System-Level and Architectural Design – Proficient in high-level system abstraction, concurrent process 

modeling, and architectural reasoning for hardware–software integrated systems. 

• Sustainable and Resource-Efficient Computing – Understanding of energy-aware computing and 

computational efficiency concepts applied to model scalability and verification resource management. 

• Research Methodology and Scientific Communication – Competence in conducting end-to-end research, 

from literature analysis and model development to validation, reproducibility, and academic reporting.