Our People
Dr Amrita Suresh
Research Member of Common Room
Research Associate
Department of Computer Science
PhD, MSc (ENS Paris-Saclay); BE (BITS Pilani)
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.