Enseignant-chercheur en informatique à l'UPEC
29 juin 2023 Laisser un commentaire
Ce matin, j’ai participé à la dernière série de soutenances de stages de deuxième année du BUT informatique. C’est toujours intéressant de voir les sujets abordés par nos étudiants et de pouvoir échanger avec les maîtres de stages. Bravo à nos étudiants !
22 juin 2023 Laisser un commentaire
Je fais passer ce matin la dernière série de soutenances de SAE pour la première année de BUT informatique. Après, il me restera des soutenances de stages de BUT2, des corrections d’évaluations et les commissions de jury. L’année universitaire est presque terminée…
1 juin 2023 Laisser un commentaire
Je participe actuellement à la conférence internationale de recherche ABZ 2023 au LORIA à Nancy pour y présenter un nouvel article écrit en collaboration avec mon collègue Julien Cervelle. Il s’agit d’une contribution concernant le plugin Theory de la plateforme RODIN au sujet d’une théorie permettant de prendre en considération des fonctions définies récursivement, ainsi que les preuves associées. C’est toujours un plaisir de retrouver la communauté du langage B, et plus généralement, des méthodes formelles !
Frédéric GERVAIS 