PARIS
Frédéric Gervais est maître de conférences en informatique à l'Université Paris-Est Créteil (UPEC) et membre du laboratoire de recherche LACL depuis 2007. Il est chef du département informatique à l'IUT Sénart Fontainebleau depuis novembre 2018. Auparavant, il a été Président par intérim de l'UPEC de novembre 2017 à février 2018, Vice-président du CA de janvier 2017 à février 2018, et Assesseur "Moyens et Ressources humaines", adjoint de la VP CA d'avril 2016 à janvier 2017. Il a déjà réalisé un premier mandat de chef du département informatique de septembre 2010 à août 2013. Frédéric Gervais a obtenu un doctorat en informatique du Conservatoire National des Arts et Métiers à Paris et un Ph.D. en informatique de l'Université de Sherbrooke (Québec) au Canada en 2006.
Ses principales activités de recherche concernent les systèmes d'information et les méthodes formelles. En particulier, il s'intéresse aux combinaisons de langages formels et aux techniques de raffinement pour l'analyse et la conception de systèmes d'information sûrs. Frédéric Gervais a encadré cinq étudiants au doctorat. Il a participé notamment à trois projets de recherche : EB3sec (projet stratégique CRSNG, 2008-2011), SELKIS (projet ANR ARPEGE, 2009-2012) et FORMOSE (projet ANR SIC, 2014-2019). Il a fait partie des comités d’organisation des conférences INFORSID 2008, ABZ 2010, CMC12 et CSL 2012. En 2010, il a organisé le workshop WS-TBFM à Orford (Québec), au Canada.
Depuis 2007, Frédéric Gervais enseigne au département informatique de l'IUT Sénart Fontainebleau, notamment en "Architecture, Systèmes, Réseaux ". Il a participé également aux enseignements d'interfaces homme-machine, d'UML et de la méthode B.
Spécialités :
Génie logiciel, méthodes formelles, EB3, Méthode B, Event B, RODIN, algèbres de processus, preuve, raffinement, systèmes d'information, applications bases de données, politique de securité