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.