![Lamiaux Thomas - promo 2020 Lamiaux Thomas - promo 2020](/deptinfo-ens/pmwiki/uploads/News/student-LamiauxTh.png)
Thomas Lamiaux, normalien-élève (2020), a publié à CPP 2023 avec Axel Ljungström et Anders Mörtberg (Stockholm University) le papier Computing Cohomology Rings in Cubical Agda. Ce papier est issu de son travail de stage de Master 1 MPRI. Le papier a été nommé distinguish paper.