My 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.

Leave a Reply

Your e-mail address will not be published. Required fields are marked *