Working under Prof. Aoki Toshiaki on the Topic “Formal Methods and Autonomus Driving” to make Autoware’s Planning more safe and identify the cause of a crash.
Aug 2024 -
Supra Oracles
Thesis Project
Working under Prof. M.K. Srivas and Prof. M. Praveen in collaboration with Supra Oracles to perform verification on Blockchain Protocols.
May 2024 - July 2024
LiVe Lab
Resarch Intern
Worked under Prof. Jan Kretinsky at LiVe Lab, a joint Lab between Masaryk University Brno, Czech Republic, and the Technical University of Munich, Germany.
We studied LTL synthesis to create winning policies using ML heuristics.
Implemented methods to enhance the efficiency and accuracy of policy creation to reduce backtracking.
Dec 2022 -
Chennai Mathematical Institute
Research Intern
Working under Prof M.K.Srivas in the area of Machine Learning $\cap$ Formal Methods.
Creating a new tool for safety verification of ReLU activated DNNs.
Studying methods to guarantee safety in Reinforcement Learning methods such as Shielding.
Teacher’s Assistant for:
Topics in Formal Methods and Machine Learning (Aug 2023 - Dec 2023 under Prof M.K. Srivas)
Software Verification and Analysis (Aug 2024 - Dec 2024 under Prof M.K. Srivas)
Natural Language Processing (Aug 2024 - Dec 2024 under Prof R. Ramachandran)
