Dr Amrita Suresh (she/her)
Research Associate
PublicationsI was an RA at the University of Oxford until July 2025. I did my PhD at LMF, ENS Paris-Saclay, under the supervision of Benedikt Bollig and Alain Finkel. Currently, I am interested in the intersection of communicating automata and session types, to model (fault tolerant) distributed systems. More broadly, my research interests include formal methods, logic, automata theory, model checking of infinite state systems and program verification.