I am a third-year Computer Science Ph.D. student at UC Berkeley, advised by Sanjit A. Seshia. In 2020, I received my BSc in Computer Engineering from the Middle East Technical University in Ankara, Turkey, where I worked with Ebru Aydin Gol as an undergraduate research assistant for three years. During my undergraduate degree, I did two research internships in Europe. In the summer of 2018, I was a research intern at Max Planck Institute for Software Systems in Kaiserslautern, Germany, advised by Björn B. Brandenburg. In the summer of 2019, I was a research intern at École Polytechnique Fédérale de Lausanne, where I was advised by George Candea. Also, in the summer of 2022 and 2023, I was an applied scientist intern at Amazon Web Services, where I worked with Ankush Desai.


My main research interests are formal methods, cyber-physical systems (with an emphasis on safe robotic systems), and reinforcement learning. Within the scope of formal methods, I am interested in developing techniques that could be applied to learning-based systems to reason about their correctness with respect to specifications of interest. In cyber-physical systems, I focus on applying techniques from formal methods to design safe robotic systems. Finally, in reinforcement learning, I am interested in integrating formal structures into the learning process for developing learning frameworks that could guarantee certain temporal requirements for control tasks.




Email: My first name at berkeley dot edu

Office: 545S Cory Hall, Berkeley, CA 94720