I obtained my Ph.D. from the Department of Computer Science at the University of Texas at Austin working with Professor Milos Gligoric. You can find my dissertation here. My research interests are software testing, proof engineering, (distributed) build systems, and blending systems and software engineering. I obtained my B.Sc. in Computer Engineering from the Boğaziçi Üniversitesi in 2015. You can take look at my resume here [last update Jan, 2023].