SERI 2025
Fri 11 - Sat 12 July 2025 Warangal Telangana, India

I am a Senior Research Fellow in the School of Computing at NUS Singapore, primarily working in the areas of Formal Methods, Programming Languages, Software Engineering, and Trustworthy AI. My current research efforts are aimed at establishing a formal foundation for Trustworthy Autonomy.