| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 08 Oct 2025 13:54:03 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68e66cfb-bcc"
expires: Sat, 27 Dec 2025 23:23:15 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 1C82:3FD64F:70CDA7:7E2048:6950680B
accept-ranges: bytes
age: 0
date: Sat, 27 Dec 2025 23:13:15 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210050-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766877196.704929,VS0,VE206
vary: Accept-Encoding
x-fastly-request-id: 6b26ff70e55845b2dfd39070013f96a574fb3bbf
content-length: 1222
Mathis Bouverot-Dupuis - About me
About me
I am a first year PhD student in computer science at Inria Paris, under the supervision of Yannick Forster and François Pottier in the Cambium team. I am working on meta-programming in the Rocq proof assistant. In particular I want to enable verifying meta-programs.
News
- The preprint for my survey of meta-programming in proof assistants (with Yannick Forster) is up on HAL.