Dr Amrita Suresh
Research Member of Common Room
Department of Computer Science
BE (BITS Pilani), MSc and PhD (ENS Paris-Saclay)
Amrita is a Research Associate in the group of Professor Nobuko Yoshida in the Department of Computer Science. She is interested in the theory and practice of ensuring that programs and systems behave according to their specifications, and can be automatically verified. Her interests encompass formal verification broadly, including automata theory, temporal logics, and graph theory. She is currently working on the verification of distributed systems and programming languages, both from a session types perspective and a communicating automata standpoint.
She holds an MSc and PhD in Computer Science from ENS Paris-Saclay, with a focus on formal verification, and a BE in Computer Science from BITS Pilani, Goa. For a list of her publications and additional information, visit her website.