| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 04 Jun 2025 17:02:23 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68407c1f-c6f"
expires: Sun, 28 Dec 2025 08:12:17 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: AD54:15317B:765162:849060:6950E405
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 08:02:17 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210092-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766908938.575686,VS0,VE213
vary: Accept-Encoding
x-fastly-request-id: 7ecba28bd73f6d9195be6795cdef5cf4e685ece8
content-length: 1276
Hugo SEGOUFIN–CHOLLET
I am a Bachelor Computer Science student. I am currently doing an Intership at Inria Paris aiming at defining the CakeML semantic in rocq under the supervision of Yannick Forster.
Education
- between 2022 and 2024 I was in CPGE MP2I/MPI at Lycée Champollion in Grenoble
- I am currently a bachelor student at ENS de Lyon