Sign In

Amrita Suresh

Doctoral Student at the Laboratory of Specification and Verification, ENS Paris Saclay

Amrita Suresh is a Research Associate in the Department of Computer Science at the University of Oxford, working in Professor Nobuko Yoshida's group.1 She completed her PhD in Computer Science from École normale supérieure Paris-Saclay, focusing on formal verification.13

Amrita's research interests include:

  1. Formal verification of programs and systems
  2. Automata theory
  3. Temporal logics
  4. Graph theory

She is currently working on verifying distributed systems and programming languages, using session types and communicating automata approaches.1

Education and Background

  • PhD in Computer Science from ENS Paris-Saclay (2019-2022)4
  • MSc in Computer Science from ENS Paris-Saclay14
  • BE in Computer Science from BITS Pilani, Goa14

During her doctoral studies, Amrita worked under the supervision of Alain Finkel and Benedikt Bollig at the Laboratoire Méthodes Formelles (LMF).3

Amrita has over five years of research experience in both industry and academia, focusing on projects related to software reliability, security, and correctness.2

Highlights

Feb 3 · lmf.cnrs.fr
LMF Perso/Amrita Suresh - Laboratoire Méthodes Formelles - CNRS

Related Questions

What is Amrita Suresh's primary research focus at École normale supérieure Paris-Saclay?
How does Amrita Suresh apply formal verification in her research?
What are some notable projects Amrita Suresh has worked on?
How does Amrita Suresh's work contribute to the field of computer science?
What is Amrita Suresh's educational background?
Amrita Suresh
Add to my network

Location

Gif-sur-Yvette, Île-de-France, France