Michele Pagani
Scholar

Michele Pagani

Google Scholar ID: K83ZnZgAAAAJ
Professor of Computer Science, ENS de Lyon
Semantics of Programming LanguagesLinear LogicProof TheoryLambda Calculus
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
823
 
H-index
15
 
i10-index
20
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗
Publications
3 items
JAX Autodiff from a Linear Logic Perspective (Extended Version)
2025
Cited
0
Variable Elimination as Rewriting in a Linear Lambda Calculus
2025
Cited
0
Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
2024
Cited
0
Resume
Academic Achievements
  • Publications can be found in the HAL archive. Most articles are freely available from HAL.
Research Experience
  • Professor at the Computer Science Department, ENS Lyon; Member of LIP, UMR 5668.
Background
  • Research Interests: Linear logic, theory of programming languages, lambda-calculus, denotational semantics, types, Curry-Howard correspondence.
Miscellany
  • Teaching includes:
  • - Préparation aux travaux pratiques de programmation pour l'admission à l'agrégation d'informatique (with Elise Crepon and Arthur Dumas)
  • - Proofs and Programs (M1 S1, with Cyril Cohen)
  • Other activities:
  • - EPIT: École de Printemps d'Informatique Théorique
  • - SIESTE: Séminaire du Département d'Informatique de l'ENS de Lyon
  • - PLUME: LIP team on Programs and Proofs
  • - PPS ANR Project: Probabilistic Programming Semantics