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.

`Academics`

M.Sc in Mathematics from University of Burdwan

B.Sc in Mathematics from University of Calcutta

`Hobbies`

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

`Contact`

E-mail: sruti.goswami.91@tcgcrest.org