Description: Personal webpage for Antoine El-Hokayem, Postdoctoral Researcher.
monitoring (2236) researcher (461) themis (17) antoine el-hokayem (1) dr-bip (1)
Computer and information systems are becoming ubiquitous in everyday life. Human societies now rely heavily on automation. Computer systems are responsible for controlling a wide range of systems forming the infrastructure of a modern society while becoming more complex. As we grow more dependent on them, and as the systems themselves become more complex, it is crucial to be able to know that they are indeed running as expected .
Formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software and hardware systems. Their use is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
The bulk of my work consists in implementing, designing and improving formal modeling techniques for modeling dynamic, reconfigurable, and adaptable systems. These include systems that evolve the number of their components and modify their architecture while executing. Such systems include autonomous systems as well as systems composed of multiple internet of things (IoT) devices.