Yves Bertot

The same page in English.

Thèmes de recherche

Cette page ne contient qu'un résumé de mes activités scientifiques. Pour une description plus complète, il vaut mieux se reporter à la page en anglais. Le thème central de mes activités de recherche est la programmation sûre, appuyée sur les systèmes de démonstration sur ordinateur. En pratique cet objectif se décompose en quatre grands domaines: