| CARVIEW |
Select Language
HTTP/2 200
date: Sun, 28 Dec 2025 03:03:46 GMT
content-type: text/html; charset=utf-8
server: cloudflare
last-modified: Thu, 20 Nov 2025 16:17:42 GMT
access-control-allow-origin: *
expires: Sun, 28 Dec 2025 03:13:46 GMT
cache-control: max-age=600
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=1QLjzbel%2FNjShAridXi9tf7XmJeEsUtzbScF73%2F7RgKB%2Bi69pH7m5yS5zonU0QWLyRa1ROSvKqVZumZjJG4v0kiPPuHeti1ZaOw%3D"}]}
x-proxy-cache: MISS
x-github-request-id: E8E5:3655F2:7347AE:80FF22:69509E10
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
age: 0
via: 1.1 varnish
x-served-by: cache-bom-vanm7210036-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766891026.310153,VS0,VE204
vary: Accept-Encoding
x-fastly-request-id: 37fafbe2f1682fdeb6ea49914253da37a4f705dd
cf-cache-status: DYNAMIC
content-encoding: gzip
cf-ray: 9b4dd391d89547e5-BOM
alt-svc: h3=":443"; ma=86400
Ewen Broudin-Caradec
Under construction.
I’m a PHD student supervised by Théo Winterhalter and Frédéric Blanqui in Deducteam.
I’m affiliated with University Paris Saclay, LMF, INRIA Saclay and ENS Paris Saclay.
My thesis subject is “Ghosts in dependent type theory: new principles and definitional equalities”.
In 2024-25 I did a year long internship in the Netherlands on
supervised by Jesper Cockx at TuDelft University in the TU Delft Programming Languages
Group.
Education
- Master degree