Poyraz Yilan

I am a CIFRE PhD student jointly affiliated with Airbus, the Cambium team at Inria Paris, and Sorbonne University. 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.