Sign In
Get Clay Free →

Suggestions

    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