Hugo Dayekh
Research And Development Engineer at Université Grenoble Alpes, Verimag
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolHugo Dayekh is a Research and Development Engineer with a PhD in Computer Science and nine years of experience building data-driven methods for identifying and validating hybrid cyber-physical systems. He combines expertise in optimization, active learning and machine learning with practical engineering—extending C++ parsers, strengthening online STL monitoring, and integrating formal monitoring into Python RL workflows at Verimag. His background spans academic research (PhD at Université Grenoble Alpes, visiting research in Kyoto) and hands-on tooling (ML pipelines for learning hybrid automata and RNN model extraction). Trained in both physics and computer science, he brings a quantitative, systems-oriented perspective that favors provable behavior analysis over black-box models. Notably, he bridges formal methods and reinforcement learning to use formal signals as guidance for agent behavior, making his work directly applicable to trustworthy autonomous systems.
9 years of coding experience
Doctor of Philosophy - PhD Informatique, Doctor of Philosophy - PhD Informatique at Université Grenoble AlpesMaster of Science - MS Informatics, Master of Science - MS Informatics at National School of Computer Science and Applied Mathematics of GrenobleBachelor of Science - BS Physics; Computer Science, Bachelor of Science - BS Physics; Computer Science at American University of Beirut
English, Arabic, Spanish, FrenchGithub contributions (5)
hadidayekh/Religion2Vec
May 2019 - May 2019
Contributions:20 commits, 17 pushes, 4 branches in 7 days
hadidayekh/cmps205fall2018
Oct 2018 - Oct 2018
Contributions:4 pushes, 1 branch in 4 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.