hadi gheitasi

I am a highly motivated computer engineer with extensive theoretical knowledge and practical experience, including a Master of Science in Computer Engineering from Sharif University of Technology. With a strong foundation in engineering and a deep passion for innovation, I have successfully led projects as an IoT Solution Architect at Ramona IoT, contributing to the development of cutting-edge IoT platforms. My research interests encompass Embedded Systems, IoT, Hardware/Software Co-design, Real-time Systems, and Formal Verification. My commitment to education is evident through my role as an instructor and teaching assistant in computer engineering courses. Proficient in various programming languages, simulation tools, and board experiences, I am driven by a relentless pursuit of excellence and innovation in the ever-evolving field of technology.

Living in : Iran

Gender : MaleRace : No Response

0Followers 0Following

Academic Profile

Posts

Contact Information

-Email

hadi.gheitasiSkype ID

hadigheitasiApplyChance Link

Educations

Computer EngineeringMaster'sSharif University of Technology2015-01-09 Iran

Title :

Formal Verification of Communication Protocols in Smart Buildings

Computer EngineeringBachelor'sSadjad Institute of Higher Education Mashhad2012-09-01 Iran

Supervisor's name :Amir Bavafa Toosi

Title :

DNA Computing

Work Experiences

IT Solution Architect

at ACECR

I am currently working in this role

IoT Solution Architect

at Ramona IoT

I am currently working in this role

English Scores

TOEFL01-Mar-2016

94/120Total

Reading :

27/30

Listening :

23/30

Speaking :

22/30

Writing :

22/30

Research Keywords

IOT

Embedded systems

model checking

formal verification

HW/SW Codesign

Safety Critical System Design

Timed Automata

UPPAAL

References

Amr Bavafa Toosi

abavafat@sadjad.ac.ir

Amir Hossein Jahangir

jahangir@sharif.edu