Feb 2025 – May 2025 · 3 mos · Los Angeles, California, United States · On-site

• Evaluated student homeworks and exams for CSCI 585 Database Systems, a graduate-level course. This graduate-level course covers how database systems are structured and work, including different types of database models, how users and programs interact with databases, and key topics like data integrity, security, handling multiple users, and system recovery.

May 2024 – Present · 2 yrs · Los Angeles, California, United States · On-site

• Working at the Cyber-Physical Systems - Verification, Intelligence, Design, and Analysis (CPS-VIDA)(https://cps-vida.github.io) Lab at USC.
• Developed a data-driven, template-free invariant generation tool while monitoring distributed systems online or offline, adaptable to any programming language.
• Designed and integrated a framework with Large Language Models (LLMs) to enhance automated invariant synthesis, outperforming traditional LLMs and dynamic invariant generators.
• Publications accepted at VMCAI 2025 (https://conf.researchr.org/home/VMCAI-2025) and SAC 2025 (https://www.sigapp.org/sac/sac2025/).
• Publication link 1 - https://link.springer.com/chapter/10.1007/978-3-031-82700-6_1
• Publication link 2 - https://dl.acm.org/doi/10.1145/3672608.3707984

Jul 2022 – May 2023 · 10 mos

• 1. Indic Language Summarization - https://arxiv.org/abs/2212.05702
• 2. L3Cube-MahaSent-MD - https://arxiv.org/abs/2306.13888
• 3. BE Project - https://arxiv.org/abs/2310.00734

May 2022 – Aug 2022 · 3 mos

• Worked under the supervision of Dr. Md. Shad Akhtar, supported through a Google exploreCS Research grant.

Mar 2022 – Jun 2022 · 3 mos

Sep 2021 – Dec 2021 · 3 mos

• Worked on devising a novel single document extractive text summarization technique using domination in hypergraphs. A research paper related to the same was accepted and presented at the Second International Conference on Emerging Trends and Innovations in ICT-2022. This work was carried out under the guidance of Prof. S.S. Sonawane.

May 2021 – Jul 2021 · 2 mos

• Collaborated on implementing an NLP tool to improve natural disaster and water resource management.
• Created an NLP pipeline for classifying newspaper articles into specific disaster events.