Hadi Gheitasi

مهندس كمبيوتر متمرس حاصل على M.Sc في هندسة الكمبيوتر ، يركز على الأنظمة المدمجة ، وإنترنت الأشياء ، والتصميم المشترك للأجهزة / البرامج ، والأنظمة في الوقت الفعلي والتحقق الرسمي. يعمل حاليا كمهندس تكنولوجيا معلومات مسؤول عن هندسة الشبكات وإدارة الخادم وتصميم النظام المخصص (منذ نوفمبر 2017) ، وكمهندس حلول إنترنت الأشياء الرائد في تطوير منصة إنترنت الأشياء لمراقبة المعدات والمرافق.
نشط في البحث التطبيقي والتدريس - ساهم في التحقق من البروتوكول ومشاريع النظام المدمج ، وقام بتأليف تقديم حول التحقق من LonTalk MAC (قيد المراجعة) ، وقام بتدريس تصميم النظام المضمن على المستوى الجامعي.
تشمل نقاط القوة التقنية منصات C / C ++ و Python و VHDL / SystemC و FPGA و SBC (Raspberry Pi و Parallella) وأدوات فحص النموذج (UPPAAL) وبيئات المحاكاة الهندسية (Xilinx Vivado / ISE و Modelsim و Matlab).