-
Recherche
- Présentation
- Trimestres et mois thématiques
- Evénements scientifiques
-
Chercheurs invités
- Chercheurs invités 2021
- Chercheurs invités 2022
- Chercheurs invités 2023
-
Post-doctorants Milyon
- Post-doctorants 2022
- Post-doctorants 2023
- Publications
- Prix, honneurs, bourses de recherche
- Portraits de chercheurs
- Formation
- Médiation
- Entreprise
-
Appels à candidature
- Appels en cours
- Étudiants : Bourses d'excellence
- Doctorants : contrats doctoraux
- Post-doctorants : contrats post-doctoraux
- Chercheurs : Aide à la mobilité
- Contacts
Vous êtes ici : Version française > Présentation > Post-doctorants Milyon
-
Partager cette page
Guilhem
JABER
Coordonnées
- Site internet.
- http://guilhem.jaber.fr/
Thèmes de recherche
Foundations of Mathematics, Semantics of Programming Languages, Formal Methods
Activités / CV
Parcours : Post-doctorant à l’Université Paris 7, et à School of Electronic Engineering and Computer Science à Queen Mary University, à Londres. Thèse à l’École des Mines de Nantes. Post-doctorant (Labex MILYON), Université de Lyon, LIP, ENS de Lyon.
Actuellement maître de conférences en informatique au laboatoire LS2N de l'Université de Nantes.
Actuellement maître de conférences en informatique au laboatoire LS2N de l'Université de Nantes.
Membre du Labex MILYON
du 01/01/2017 au 31/12/2018
Encadrant et laboratoire d’accueil
Laboratoire d’accueil : LIP, ENS de Lyon
Encadrant : Pierre Clairambault
Encadrant : Pierre Clairambault