Bonjour Lionel, tu es enseignant-chercheur à l'Ensimag mais depuis quand enseignes-tu ici ? Où travaillais-tu avant ?
J'ai été recruté en septembre 2018. Auparavant, j'étais en post-doc au Collège de France entre 2014 et 2016 puis à l'Université de Yale (Connecticut, USA) entre 2016 et 2018.
Où as-tu fait tes études ?
J'ai fait mes études à l'ENS de Lyon, (L3, agrégation, M1), au Master Parisien de Recherche en Informatique (M2), puis ma thèse à l'ENS de Lyon.
Quels sont tes domaines de recherche ? Et ton laboratoire
Laboratoire : Verimag
Domaine de recherche :
Est-ce que tu enseignes majoritairement dans une année ? Ou dans un master ?
Il vaut mieux comprendre les concepts derrière un outil à la mode que de savoir s'en servir. En tant qu'ingénieur et ingénieure, vous aurez à comprendre et évaluer des techniques et outils nouveaux donc il est plus important d'avoir une bonne compréhension du paysage et des idées et concepts sous-jacents.
Merci Lionel !
J'ai été recruté en septembre 2018. Auparavant, j'étais en post-doc au Collège de France entre 2014 et 2016 puis à l'Université de Yale (Connecticut, USA) entre 2016 et 2018.
Où as-tu fait tes études ?
J'ai fait mes études à l'ENS de Lyon, (L3, agrégation, M1), au Master Parisien de Recherche en Informatique (M2), puis ma thèse à l'ENS de Lyon.
Quels sont tes domaines de recherche ? Et ton laboratoire
Laboratoire : Verimag
Domaine de recherche :
- les méthodes formelles, en particulier la preuve avec l'assistant de preuve Coq sur divers sujets comme les essaims de robots mobiles, la compilation de langages synchrones (Lustre, Esterel)
- l'analyse temporelle des processeurs, en particulier les anomalies temporelles
Est-ce que tu enseignes majoritairement dans une année ? Ou dans un master ?
- À l'Ensimag, j'enseigne quasi-exclusivement en première année où je suis responsable des cours de TL1 et CEP. Hors Ensimag, j'enseigne également dans la classe préparatoire de Grenoble INP et au magistère d'informatique de l'UGA.
- À l'UGA, je suis responsable du magistère d'informatique.
Il vaut mieux comprendre les concepts derrière un outil à la mode que de savoir s'en servir. En tant qu'ingénieur et ingénieure, vous aurez à comprendre et évaluer des techniques et outils nouveaux donc il est plus important d'avoir une bonne compréhension du paysage et des idées et concepts sous-jacents.
Merci Lionel !