About

Amrita Suresh is a highly skilled Doctoral student with a strong background in theoretical computer science, particularly in computer aided verification. She has a demonstrated history of working both in the industry and in academia, making her an ideal candidate for research positions in the field. Amrita's technical skills include Java, C and Python, with some experience in Haskell. She has a Master's degree focused in Computer Science (Algorithms and Foundations of Programming) from Ecole Normale Supérieure, which has equipped her with the necessary knowledge and skills to excel in her field. Currently, Amrita is working as a Doctoral Student at the Laboratory of Formal Methods, ENS Paris Saclay. Prior to this, she worked as a Graduate Research Assistant at Technical University Munich, where she addressed the problem of automatic verification of population protocols. She used existing ideas in the field of Petri nets and other infinite transition systems to extend the subclass of population protocols that can be automatically verified. Amrita has also worked as a Software Engineer at Intuit. Amrita has a Bachelor of Engineering (BE) in Computer Science from Birla Institute of Technology and Science, Pilani. She completed her Master's degree in Computer Science from Université Paris-Saclay. She attended Kendriya Vidyalaya for her primary education. Amrita's tech stack includes Research Scientist, Python, Java, and Software Engineer. She has relevant experience of 3.60 years, making her a highly qualified candidate for research positions in theoretical computer science.