Dr Burak Ekici
Senior Research Associate
PublicationsI am an RA at the University of Oxford. I earned my PhD from Université Grenoble Alpes in France. Previously, I worked as a postdoc at the University of Iowa, USA and at the University of Innsbruck, Austria. Right now, my focus is on formalizing various aspects of asynchronous multiparty session types in the Coq proof assistant.