Looking forward to hosting a visit by Sergio Mover, who will give a talk on “
The goal of the internship is to design and implement self-healing techniques for Event-Driven frameworks. Given an Android app, we want to automatically synthesize a new version of the app that avoids protocol violations—for example removing particular interleavings of events.Read more
I have just received an official notification that my project proposal “Rigorous Component-Based Design of Correct-by-Construction Software and Systems: Application to Cloud Computing” was approved by the Hauts de France region.
Spoiler: I will be hiring a post-doc to work on formal models for self-adaptive software.