Ritam Nag

Ritam Nag is a software engineer at Google DeepMind and an MIT computer-science and mathematics graduate (2021-2025). He represented India at the International Mathematical Olympiad 2019, winning a silver medal. He did undergraduate research at MIT CSAIL in Adam Chlipala's group and co-authored the OOPSLA 2025 paper 'Pyrosome: Verified Compilation for Modular Metatheory'. His only quantitative-finance role on record is a summer 2024 Trading Internship at Jane Street Capital.

Notes8

• Quant employment verification: CONFIRMED. Ritam Nag worked as a Trading Intern at Jane Street Capital (New York), summer 2024, per his LinkedIn profile; the description states he used data science tools to analyse real-world market data (intraday volatility distributions across securities; effect of rate moves). Jane Street Capital is a quantitative market-making / proprietary trading firm (janestreet.com; Wikipedia). This is an actual internship, not a student program. Caveat: the role rests on the LinkedIn profile rather than a second independent primary source; identity is separately corroborated by IMO 2019 records, MIT research and the OOPSLA 2025 paper. No other quant-finance employer appears in his history: Google DeepMind (AI research) and Windsurf/Codeium (AI coding tools) do not operate in quantitative finance.
• Identity anchor confirmed: Ritam Nag of Kolkata represented India at IMO 2019 and won a Silver medal (individual rank 101, 27 points), matching the LinkedIn/MIT identity and the South Point Kolkata schooling.
• HBCSE (Govt. of India olympiad body) lists Ritam Nag, Kolkata West Bengal, among India's IMO 2019 silver medallists (team: 1 gold, 4 silver, 1 honourable mention, Bath UK, July 2019).
• Co-author of 'Pyrosome: Verified Compilation for Modular Metatheory' (OOPSLA 2025; arXiv 2507.06360, submitted 8 Jul 2025) with Dustin Jamner, Gabriel Kammer and Adam Chlipala - a formal-verification / programming-languages result and his strongest technical credential.
• Software Engineer at Google DeepMind (2025-present, Mountain View); Google DeepMind is an AI research lab, not a quantitative-finance employer.
• Earned a Bachelor's degree in Computer Science and Engineering and Mathematics at MIT (2021-2025) after schooling at South Point High School, Kolkata.
• Undergraduate researcher at MIT CSAIL (2021-2025) in Adam Chlipala's group; Chlipala lists him among past research students, tying the research identity to MIT formal-methods work.
• Brief software-engineering stint at Windsurf (the AI coding company formerly Codeium) in 2025 before Google DeepMind; not a quant-finance employer.
• Studied at South Point High School, Kolkata, before MIT; listed as an INOI 2021 (Indian National Olympiad in Informatics) qualifier from South Point High School.
• Presented a session on 'Computerised Proofs and Automation' (teaching a computer to do analysis; logic/type theory), consistent with his formal-verification research direction.
• Teaching/lab assistant for MIT 6.101 Fundamentals of Programming (2023), running office hours for Python coursework.
• Public coding/hobby identity 'Matir': chess.com member 'matir' (Ritam Nag, Kolkata, joined 2011; bullet 2304, blitz 2199) and Instagram @__matir__ ('Mathlete, (ex) chess player... MIT class of 2025').