Hadi Gheitasi

Un ingénieur informatique expérimenté avec une M.Sc en génie informatique, axée sur les systèmes embarqués, l’IoT, la co-conception matérielle/logicielle, les systèmes en temps réel et la vérification formelle. Il occupe actuellement le poste d’ingénieur informatique responsable de l’architecture réseau, de la gestion des serveurs et de la conception de systèmes personnalisés (depuis novembre 2017), et celui d’architecte de solutions IoT responsable du développement d’une plateforme IoT pour la surveillance des équipements et des installations.
Actif dans la recherche appliquée et l’enseignement - a contribué à la vérification de protocoles et à des projets de systèmes intégrés, a rédigé une soumission sur la vérification MAC LonTalk (en cours de révision) et a enseigné la conception de systèmes embarqués au niveau universitaire.
Les points forts techniques comprennent les plates-formes C/C++, Python, VHDL/SystemC, FPGA et SBC (Raspberry Pi, Parallella), les outils de vérification de modèles (UPPAAL) et les environnements de simulation d’ingénierie (Xilinx Vivado/ISE, Modelsim, Matlab).