Junior Research Fellow, IAI – TCG CREST
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: email@example.com