Martin Trucchi

Computer science PhD student, École Polytechnique

Logic, type theory, constructive and synthetic mathematics.

Welcome. You'll find my publications, teaching, talks, notes here.

Last updated : 01/10/26

Publications

Research papers and preprints

Teaching

Courses and lecture notes

Talks

Slides and recordings

Blog

Notes and expository writing

CV

Full curriculum vitae