This afternoon I will be giving a lecture about BIP to a group of students from a course taught by Panagiotis Katsaros at the Aristotle University of Thessaloniki.
Read moreComponent-Based Design of Concurrent Software in BIP
A visit by Sergio Mover
Looking forward to hosting a visit by Sergio Mover, who will give a talk on “
Automatic Synthesis of Self-Healing Android Applications
With Sergio Mover from LIX (École Polytechnique, Paris), we are looking for a student interested in working on “self-healing” Android applications.
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 moreMy project proposal has been approved by the Hauts de France region
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.
Thanks to Charlotte Hespel and Lionel Seinturier for their help with preparing the proposal. I am Looking forward to officially starting the project.
Spoiler: I will be hiring a post-doc to work on formal models for self-adaptive software.