Prithwish Jana

Ph.D Student in Computer Science,

College of Computing

Georgia Institute of Technology

Atlanta, USA

Email: pjana7 [AT] gatech [DOT] edu

About Me

I am a Ph.D student in Computer Science at Georgia Tech, USA, specializing in NeuroSymbolic LLMs under the guidance of Prof. Vijay Ganesh. I spent one year of my Ph.D (Computer Science) at the David R. Cheriton School of Computer Science, University of Waterloo, Canada.

For Summer 2025, I am working as an Applied Scientist Intern at Amazon Web Services (AWS) in Seattle, with the Next Gen DevX (NGDE) Science team.

My work primarily focuses on neuro-symbolic techniques for fine-tuning large language models (LLMs). I specialize in combining symbolic reasoning tools and formal methods with LLMs to significantly enhance their reasoning capabilities in software engineering (e.g., code translation and code generation) and mathematical reasoning (e.g., automated proof synthesis in LEAN and auto-formalization). In particular, my current research interests hover around neuro-symbolic AI, NLP, formal methods, AI for Code, and AI for Math. With a keen interest in becoming a full-time researcher, I aim to contribute to the advancement of AI & CS through my research endeavors.

Before starting my Ph.D, I earned my Master's (2022) from IIT Kharagpur and Bachelor's (2020) from Jadavpur University, both in Computer Science & Engineering. I graduated at the top of my class at both these institutes, earning the Institute Silver Medal at IIT Kharagpur and the University Gold Medal at Jadavpur University.

I have been actively involved in several research projects on fairness & explainability in AI, computer vision, and image/video processing at IIT Kharagpur, Indian Statistical Institute (ISI) Kolkata, and Jadavpur University. Also, I have been a Student Member (#92577001) at IEEE since 2017.

I am a recipient of the 2021 Reliance Foundation Scholarship in AI & Computer Science, selected among the top 38 Master's students from all over India. I have received prestigious accolades from the Govt. of India viz., Jagadis Bose National Science Talent Search (JBNSTS) Senior Fellowship, Kishore Vaigyanik Protsahan Yojana (KVPY) award and National Talent Search Examination (NTSE) during UG / high-school. Also, I have secured top ranks in all-India competitive exams viz., 188th/100,000 in GATE CS (2020), 32nd/125,000 in WBJEE (2016), and 143rd/100,000 in KVPY (2015).

I am from the beautiful city Kolkata ('City of Joy'), located in West Bengal, India.

Recent News

[May 2025] Awarded 2nd Place in the College of Computing (CoC) Graduate Poster Symposium at Georgia Tech; recognized for outstanding research presentation at a college-wide (SCS, SCP, IC, CSE) faculty-judged symposium
[May 2025] Presented a talk in the High Confidence Software & Systems (HCSS) conference at Annapolis, Maryland [Agenda]
[May 2025] Started working as an Applied Scientist Intern at Amazon Web Services (AWS), Seattle, for Summer 2025.
[Jan-Mar 2025] Serving as a PC member for ECAI-2025, NeurIPS-2025, and ICML-2025
[Nov 2024] Recognized as a Top Reviewer for NeurIPS-2024, ranking in the top 8% of reviewers. Awarded a complimentary full registration!
[Oct 2024] Selected by ECAI-2024 among a few Ph.D. students for 'Lunch with a EurAI Fellow'. Had the privilege of engaging in an inspiring discussion on career and research with Prof. Mehdi Dastani (ECAI-2025 Chair)
[Jul-Oct 2024] Serving as a PC member for NeurIPS-2024 (Main track + D&B track), AAAI-2025, ICLR-2025 and AISTATS-2025
[Jul 2024] Paper accepted at ECAI-2024 main-track (acceptance rate: 23%) [Link] [arXiv]
[Jun 2024] Awarded a travel grant for attending the 33rd Int'l Joint Conference on AI (IJCAI-2024) at Jeju Island, South Korea
[Jun 2024] Awarded a full scholarship to attend the 36th Int'l Conference on Computer Aided Verification (CAV-2024) in Montreal, Canada
[May 2024] Short paper accepted at IJCAI-2024 Doctoral Consortium (acceptance rate: 17%) [Link]
[May 2024] Working as Teaching Assistant for CS3600: Introduction to Artificial Intelligence at Georgia Tech (Summer 2024)

Educational Background

Ph.D (Computer Science) at Georgia Tech, USA (2023-present)
Ph.D (Computer Science) at University of Waterloo, Canada (2022-2023, transferred)
M.Tech (Computer Science & Engg.) at Indian Institute of Technology (IIT) Kharagpur (2020-2022)
(Institute Silver Medalist 🥈 as Department Topper, Best Masters’ Thesis Nomination)
B.E. (Computer Science & Engg.) at Jadavpur University, India (2016-2020)
(University Gold Medalist 🥇 as Department Topper)

Work Experience

Applied Scientist Intern at Amazon Web Services (AWS), Seattle (Summer 2025)
- with the Next Gen DevX (NGDE) Science Team

Proud Moments

At the 68th Annual Convocation of IIT Kharagpur:

Receiving M.Tech degree in Computer Science, from Prof. V.K. Tewari, Director of IIT Kharagpur (2022)

Receiving Institute Silver Medal from Prof. V.K. Tewari, Director of IIT Kharagpur and Shri. Peter Chan, Chief Guest, CEO & Founder of Herons Bonsai Ltd. (2022)

Me & my parents, with the degree and Institute Silver Medal, outside Netaji Auditorium at IIT Kharagpur (2022)

The MTech (CSE) 2022 batch, IIT Kharagpur

At the 65th Annual Convocation (extended) of Jadavpur University:

Receiving B.E. degree in Computer Science, from Prof. Bhaskar Gupta, Dean of Engg. of Jadavpur Univ. (2023)

Collage of B.E. (CSE) 2020 batch, Jadavpur University

In the traditional convocation dress of Jadavpur University (2023)

With parents at OAT, JU (2023)

Moments with classmates of B.E. (CSE) 2020 batch, Jadavpur University (2023)

[Left] Receiving CSE Department Yearly Gold Medal for securing the highest marks as a Freshman (1st year) in 2017 and [Middle] Sophomore (2nd year) in 2018.
[Right] Receiving University Gold Medal from Jadavpur University (P.S.: official convocation of 2020 was cancelled, due to pandemic)

Miscellaneous Golden Memories:

Receiving "Best School Award" for South Point, at Jagadis Bose National Science Talent Search (JBNSTS) Annual Award Ceremony at Indian Assoc. for Cultivation of Sc. in presence of Profs. Ajay Sood (IISc) and Amitava Raychaudhuri (CU) (2016)

Me (sitting 3rd from right) with fellow JBNSTS 2015-16 senior scholars and Prof. Maitree Bhattacharyya, Director of JBNSTS at National Aerospace Laboratories (NAL), Bangalore (2017)

After Paper Presentation, with the presenters, my supervisor, Dr. Partha P Mohanta (ISI) and Session Chair, Prof. Ujjwal Maulik (JU) at IEEE Region 10 Symposium, TENSYMP 2019, hosted by IEEE Kolkata Section at Kolkata (2019)

Interaction with Prof. Valakunja Nagaraja, then President of Jawaharlal Nehru Centre For Advanced Scientific Research (JNCASR), at JNCASR, Bangalore (2017)

As a JBNSTS Senior Scholar, I was featured in 2018 JBNSTS poster in three different photos: during JBNSTS-organized Talent Enrichment Program at IISc Bangalore (middle-right photo), at CSA Department, IISc Bangalore (middle-bottom photo) and receiving Best School Award during prize distribution (bottom-left photo).