CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

LIP Highlights

Francesco Bronzino . Nomination membre Junior IUF 2025

FRANCESCO BRONZINO

Francesco BRONZINO, maître de conférences au département d’informatique et chercheur au LIP a été nommé en tant que membre Junior de l'Institut universitaire de France (IUF).

Lire l'article > IUF 2025, félicitations à Francesco BRONZINO et à nos 23 alumni nommés.

En savoir plus sur le profil de Francesco Bronzino.

LIP / Équipe HOWNET / Crédits ©Francesco Bronzino

Antoine Gonon . Prix de thèse 2025 de la Société Savante Francophone d'Apprentissage Machine

ANTOINE GONON

Félicitations à Antoine Gonon qui a obtenu une mention honorable au prix de thèse 2025 de la Société Savante Francophone d'Apprentissage Machine.

En savoir plus sur le profil d'Antoine Gonon.

 

LIP / Équipe OCKHAM / Crédits © Inria - B. Fourrier

Pegah POURNAJAFI . Prix de la Fondation Hugot du Collège de France

Pegah Pournajafi

Ancienne doctorante du LIP, Pegah Pournajafi est lauréate du Prix de la Fondation Hugot du Collège de France 2024, sur proposition du Pr Timothy Gowers, chaire Combinatoire.
 
Pour en savoir plus sur son parcours, suivez ce lien : www.college-de-france.fr

LIP / Crédits ©Collège de France

 

Équipe MC2 du LIP, lauréate de l'appel 2025-2026 de la Fédération Informatique de Lyon

FIL

Dans le cadre de son 9ème appel, 2025-2026, la FIL financera plusieurs projets dont celui :

> CLASS :  Collecter une Liste Avec Soumission d’un Survey

L’objectif principal du projet est la rédaction d’une synthèse (survey) sur ces classes de graphes afin de mettre à jour le site web Graph Classes.

Ce sera l’occasion pour les deux porteurs de démarrer une collaboration, ce qui renforcera encore les liens entre les équipes Goal du LIRIS et MC2 du LIP.

En savoir plus > https://fil.cnrs.fr

LIP / Équipe MC2 /  Crédits logo © FIL

Prix Jeunes Talents France 2024 L'Oréal-UNESCO décerné à quatre chercheuses d’équipes Inria

INRIA JEUNES TALENTS

Quatre jeunes femmes scientifiques, membres d’équipes-projets Inria, ont reçu mardi 8 octobre le prestigieux Prix Jeunes Talents L’Oréal-UNESCO édition 2024.

Une distinction qui met en lumière la diversité et la grande qualité de leurs recherches en mathématiques et en informatique.

Félicitations à Sybille Marcotte, doctorante au sein de l'équipe Ockham.

. Lire l'article au sujet des lauréates Inria dont Sibylle fait partie.

. Visionner la vidéo retraçant son portrait.

LIP / Équipe OCKHAM © Nicolas Gouhier / Julien Knaub for Fondation L’Oréal

 

PLUME

PLUME

Programs & Proofs

Team leader: Damien POUS

Keywords: Curry-Howard isomorphism, semantics, logic, automata, co-induction 

 

  • Mathematical foundations for correct software
    Our research focuses on mathematical foundations for correct software with the particularity of combining expertise in ‘a priori’ methods for correctness by construction and ‘a posteriori’ methods for correctness by verification.
  • Correctness by construction
    Our research in this area is deeply informed by the Curry-Howard isomorphism between proofs and programs. We build type systems to provide static guarantees for important properties of programs. We use semantics to analyse and compare sequential and concurrent programming primitives. We construct machine-assisted formalizations of mathematical theories in Coq in order to bring standard verification techniques into the realm of proof assistants.
  • Correctness by verification
    Our research in this area combines traditional verification techniques with more recent developments in co-induction. We extend the scope of specification logics to probabilistic settings and higher-order model checking. We develop efficient new algorithms for proving language equivalences using ‘bisimulation up to’ techniques from process calculus. We exploit causality in graph rewriting to extract signalling pathways from simulation traces of models derived from biological knowledge.

     

Main collaborations: Bologna (Italy), Warsaw (Poland), Cambridge (UK), Harvard Medical School (USA)

 

LIP Teams

 

Latest News

 
Post-Doc Position 2025

The LIP laboratory is opening a one-year post-doctoral fellowship in Computer Science at the ENS Lyon, France. [more info]


Postes d'ATER

 Trois postes d'ATER en informatique sont mis au concours au Département d’Informatique (DI) de l'ENS de Lyon pour l'année universitaire 2025–2026.

L’enseignant·e recruté·e assurera principalement des TD et TP dans les formations dispensées en L3, M1, et préparation à l’agrégation, auprès des étudiant·e·s en informatique de l'ENS de Lyon :  https://informatique.ens-lyon.fr/fr

Les candidatures sont sollicitées sur toutes les thématiques du laboratoire de l'informatique du parallélisme (LIP) :  https://www.ens-lyon.fr/LIP/index.php/research

Contacts Enseignement :
Michele Pagani michele.pagani@ens-lyon.fr
Eric Thierry eric-thierry@ens-lyon.fr

Contacts Recherche :
Isabelle Guérin Lassous isabelle.guerin-lassous@ens-lyon.fr
Nicolas Trotignon nicolas.trotignon@ens-lyon.fr
En suivant ce lien, vous trouverez dans l'onglet Research, le détail de toutes les équipes et leurs axes de recherche : https://www.ens-lyon.fr/LIP/index.php/research

Comment candidater ? Pour connaitre la liste des documents à déposer : https://www.ens-lyon.fr/lecole/travailler-lens-de-lyon/recrutement-des-enseignants-et-des-chercheurs/recrutement-dater

Candidatures sur Galaxie/ALTAIR/ODYSSEE du 15 janvier jusqu'au jeudi 13 février, 16h et dépôt du dossier PDF via DEMATEC jusqu'au lundi 17 février, 16h.


Poste d'ingénieur de recherche au LIP en mobilité interne

Le Laboratoire de l'Informatique du Parallélisme propose un poste d'ingénieur de recherche CNRS ouvert en mobilité interne (accessible à tout titulaire de la fonction publique), pour des activités en lien avec l'expérimentation réseau et/ou le développement Rust. Pour plus d'information, voir la fiche de poste.

Contacts: Isabelle Guérin Lassous (isabelle.guerin-lassous@ens-lyon.fr) ou Simon Delamare (simon.delamare@ens-lyon.fr).

Past Events

isabelle guerrin lassous

Isabelle Guérin Lassous:
Le CAPES en informatique ! (en savoir plus)