Enseignant-chercheur en informatique à l'UPEC
23 novembre 2025 Laisser un commentaire
Je suis allé cet après-midi à une représentation de la Traviata de Verdi au Théâtre de Fontainebleau. C’est bien pratique de pouvoir assister à des spectacles dans un théâtre de proximité. J’ai passé un très bon moment.
7 novembre 2025 Laisser un commentaire
L’Université de Sherbrooke m’a fait l’honneur de renouveler mon mandat de professeur associé au Département d’Informatique pour la période 2025-2028. Merci aux collègues de la Faculté des Sciences pour leur confiance !
6 novembre 2025 Laisser un commentaire
J’ai participé ce matin aux Journées annuelles du GT Verif à la Maison des sciences et de l’environnement de l’UPEC, sur le campus de Créteil. Ma présentation était une introduction générale à B et Event-B, deux approches formelles que j’utilise régulièrement dans le cadre de mes activités de recherche. Un grand merci aux organisateurs pour l’invitation à ce GT, ainsi qu’aux participants pour leur écoute et pour leurs questions !
2 novembre 2025 Laisser un commentaire
Je suis de retour d’Italie où j’ai passé quelques jours de vacances à Milan et en Toscane. Comme à chaque fois, c’est un plaisir de retrouver la famille et les amis italiens. Malheureusement, on a eu aussi une mauvaise nouvelle avec la disparition de notre cousin Valerio alors qu’on était sur place. Dans l’ensemble, ce séjour s’est bien passé, on a hâte d’y retourner…
Frédéric GERVAIS 