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.