| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 01 Nov 2025 15:52:49 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"69062cd1-576"
expires: Mon, 29 Dec 2025 07:22:52 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: D7DF:272D88:87C942:987A48:695229F4
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 07:12:52 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210033-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766992372.232273,VS0,VE223
vary: Accept-Encoding
x-fastly-request-id: 2477b4a6380c4267cf1a1c9cff4fa76976c0b0f6
content-length: 782
PYilan
Download CV
Poyraz Yilan
I am an incoming PhD student jointly affiliated with Airbus and Inria Paris. I recently completed my Master's degree in the MPRI (Theoretical Computer Science) program at École Polytechnique, Institut Polytechnique de Paris. Before that, I earned my Bachelor's degree in Computer Engineering from Atilim University. My research interests include formal verification, programming languages, memory models, and compilers.
Last updated on 12.03.2025