Suggestions
Amrita Suresh
Doctoral Student at the Laboratory of Specification and Verification, ENS Paris Saclay
Amrita Suresh is a dedicated graduate student with a deep interest in theoretical computer science, particularly computer-aided verification.
She has a strong background in the research industry and is proficient in Java, Haskell, and C programming languages.
Amrita holds a Master's degree in Computer Science from Ecole Normale Supérieure and has pursued her Bachelor of Engineering in Computer Science from Birla Institute of Technology and Science.
She has a diverse educational background having studied at prestigious institutions like Université Paris-Saclay and Kendriya Vidyalaya.
Currently, Amrita is a Doctoral Student at École normale supérieure Paris-Saclay and has previously worked as a Graduate Research Assistant at both École normale supérieure Paris-Saclay and Technical University Munich.
Her professional experience includes roles as a Software Engineer at Intuit, Research Assistant at Indian Institute of Technology Bombay, and an Intern at ISRO.
Amrita Suresh combines academic excellence with practical experience, making her a valuable asset in the field of computer science research.
