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:
Office 2S63
LSV, ENS Paris-Saclay CS 30008
4 avenue des Sciences,
91190 Gif-sur-Yvette, France.