Amrita Suresh

About

Hello! I am Amrita, a second year doctoral student at the LMF, ENS Paris Saclay. My advisors are Alain Finkel and Benedikt Bollig. I am broadly working in the field of verification of infinite state systems - more specifically on reachability analysis for underapproximations of asynchronous distributed systems with unbounded buffers. Reach out to know more!

Research Interests

  • Automata Theory
  • Temporal Logics
  • Graph Theory
  • Distributed Algorithms

Teaching

I have been super fortunate to teach some very bright students. Here are some courses I helped with

  • Tree Automata (for master's students majoring in Computer Science) ENS Paris Saclay 2021
  • Computer Architecture and Operating Systems (for undergrads majoring in Computer Science) ENS Paris Saclay 2021
  • Programming I (for undergrads majoring in Computer Science) ENS Paris Saclay 2020
  • Discrete Mathematics (for undergrads majoring in Computer Science) BITS Goa 2015
  • Operating Systems (for undergrads majoring in Computer Science) BITS Goa 2015

Contact me

My office is at 2S63. You can contact me at (+33) 01 81 87 54 66 or via email at <firstname>.<lastname>@lsv.fr My postal address is:

Amrita Suresh
Office 2S63
LSV, ENS Paris-Saclay CS 30008
4 avenue des Sciences,
91190 Gif-sur-Yvette, France.