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é.
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
[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)
Marketing Segment Flow Prediction
Data Driven Marketing Spend Optimization
A Machine Learning based tool for identifying P2P (Peer To Peer) Bot-Nets using network traffic analysis, as well as detecting the hosts involved in P2P traffic. Third prize winner at the HCL Hack IITK Hackathon.
A C++ program which acts as a multi-core processor and DRAM memory simulator for MIPS Assembly Language Programs.
Feel free to contact me :)