Ramneet Singh

Ramneet Singh

Dual Degree (B.Tech- M.Tech) Student


Hello there! I am Ramneet, a student in the CSE Department at IIT Delhi, with a strong focus on Programming Languages and Machine Learning. My (desired) research interests include formal methods and neurosymbolic program synthesis.

I have completed internships at Adobe Research as a Research Intern and DataChannel Technologies as a Data Analyst Intern. I have worked with Prof. Subodh Sharma in a project on the formal verification of concurrent programs, and later on a COVID Vaccine Alerts telegram bot which reached people from 400+ districts. You can read more about me here.

Download my resumé.

  • Programming Languages
  • Artificial Intelligence
  • Program Synthesis
  • Graph Neural Networks
  • Dual Degree (B.Tech-M.Tech) in Computer Science & Engineering, 2019-2024 (exp.)

    Indian Institute of Technology Delhi, India

  • Higher Secondary Education, 2019

    Modern Vidya Niketan Sec.17, Faridabad, India

Recent News

All news »

[19/01/2023]: I will be serving on the CAV 2023 Artifact Evaluation Committee. This is my first experience serving on a conference committee.

[03/01/2023]: Selected to attend Research Week with Google from 29-31 January, 2023. Looking forward to visit Bangalore after a gap of 6 years!

[02/01/2023]: Excited(!) to be a Teaching Assistant for the course COL226: Programming Languages at IIT Delhi. It is always nice to learn from SAK, I hope to help my juniors have a good experience.


(looking for more)

Research Intern
Jun 2021 – Aug 2021 Bangalore, India

Marketing Segment Flow Prediction

  • Developed a novel temporal‐graph‐based model for marketing segments.
  • Applied neural embedding techniques for temporal graphs to predict node features and edge weights, used for forecasting churn and flow of customers between segments.
  • Designed network centrality & flow‐based measures to identify high‐activity segments, providing insights about market behaviour to marketers.
Data Analyst Intern
Jun 2021 – Aug 2021 Gurugram, India

Data Driven Marketing Spend Optimization

  • Developed a system to give optimal spend recommendations across media channels & adsets using historical marketing data, allowing marketing teams to focus on creativity and design.
  • Implemented a revenue forecasting model to predict the revenue-budget relationship for each channel and adset, taking into account adstock transformation as well as the diminshing nature of returns. Dealt effectively with sparsity of data at the adset level.
  • Implemented a cross-channel optimiser which used revenue forecasting models at both hierarchical levels to provide optimal spend allocations. Incorporated constraints like minimum/maximum channel spend keeping in mind practical marketing strategies.


IIT Delhi Semester Merit Award
See certificate
IIT Delhi Semester Merit Award
Awarded for exceptional academic performance in Semester II, 2019-20
Univ.AI 100 Scholarship
Received a full scholarship to take the Basics of AI & ML course, taught by Pavlos Protopapas from Harvard.
See certificate
Third Place, HCL Hack IITK
Among 12,500 teams - students, professionals and startups from 12 countries. Built and tested machine learning based solutions to real-world cybersecurity problems.
See certificate
All India Rank 146
Among 170,000 candidates who had qualified for this examination (from 1.1 Million candidates).

Get In Touch!

Feel free to contact me :)