Sruti Goswami

Junior Research Fellow, IAI – TCG CREST

Research Interest

 I am currently exploring different areas of computer science, especially machine learning. My research interests include applications of deep learning, theoretical computer science, and automated theorem proving. I am keen to learn about formalizing mathematics using interactive theorem provers such as Lean.  



  • M.Sc in Mathematics from University of Burdwan 
  • B.Sc in Mathematics from University of Calcutta 


 In my free time, I enjoy taking photos and playing with my pet.




  • E-mail: