Poyraz Yilan

I am a second-year Master's student in the MPRI (Theoretical Computer Science) program at École Polytechnique, Institut Polytechnique de Paris, and I am currently doing my M2 internship at Inria Paris with Dumitru Potop-Butucaru and Jean-Marie Madiot. Prior to this, I graduated from Atilim University with a degree in Computer Engineering. My interests include programming languages, compilers, memory models, verification and concurrency.