About me

Hello! I am Amrita, a third 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 distributed systems - more specifically on analysing asynchronous systems with unbounded buffers.

Some of the topics I have worked on in the past have been input-bounded FIFO systems, the notions of synchronizability (using a Message Sequence Chart approach), and more recently, reversal boundedness and extensions of Well Structured Transition Systems. But apart from this, my interests lie with anything to do with verifying infinite state systems, and their characterization using logics and automata.

You can contact me by email at asuresh AT lsv DOT fr.