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!
My office is at 2S63. You can contact me at (+33) 01 81 87 54 66 or via email.
LSV, ENS Paris-Saclay CS 30008
4 avenue des Sciences,
91190 Gif-sur-Yvette, France.