Responsibilities include:

• Developing neuro-symbolic optimization frameworks that combine LLMs with SAT-solver heuristics, enabling constraint satisfaction without model fine-tuning.
• Designing and evaluating LLM-guided heuristics for algorithm synthesis, contributing to novel methodologies in automated reasoning and AI-assisted solver design.
• Formalizing quantum algorithms using HOL Light, focusing on proof of correctness toward verified quantum computing.

Responsibilities include:

• Conducted research on out-of-distribution (OOD) detection in YouTube videos using deep learning and anomaly detection techniques.
• Developed models to identify and classify anomalous videos via content dynamics and metadata distributions.

Responsibilities include:

• Served as a Research Associate on a project focusing on ”An Autonomous IoT Based Approach Towards Monitoring And Subsequently Identifying Invasive Dengue/Zika Vectors Prevalence and Possible Dengue Outbreak Area.”
• Worked on computer vision for vector identification in autonomous monitoring systems, utilizing image processing techniques for real-time analysis of mosquito populations.
• Organized and led a comprehensive four-week workshop on Python programming for Computer Vision applications.

Responsibilities include:

• Diagnosed and resolved firmware and hardware issues in embedded systems.
• Utilized Python and C programming skills to integrate and optimize embedded systems seamlessly.
• Applied Linux expertise to ensure smooth integration of embedded systems with Linux platforms.
• Worked collaboratively with cross-functional teams to troubleshoot and resolve complex technical issues.
• Maintained detailed documentation of troubleshooting procedures for future reference.
• Actively pursued ongoing education, attending workshops to stay updated on embedded systems developments.