Hadi Gheitasi

An experienced computer engineer with an M.Sc. in Computer Engineering, focused on embedded systems, IoT, hardware/software co-design, real-time systems and formal verification. Currently serving as an IT Engineer responsible for network architecture, server management and custom system design (since Nov 2017), and as an IoT Solution Architect leading development of an IoT platform for equipment and facilities monitoring.
Active in applied research and teaching — has contributed to protocol verification and embedded-system projects, authored a submission on LonTalk MAC verification (under revision), and has taught Embedded System Design at university level.
Technical strengths include C/C++, Python, VHDL/SystemC, FPGA and SBC platforms (Raspberry Pi, Parallella), model-checking tools (UPPAAL), and engineering simulation environments (Xilinx Vivado/ISE, Modelsim, Matlab).