Hello, I’m currently a Research Scholar @ IIIT Bangalore, working on my Masters. My area of research mostly includes Verification of Neural Networks and AI Safety; trying to forge connections between the disparate domains of Machine Learning, Formal Verification and Software Engineering. I also enjoy extending my curiosities into areas like Artificial Life simulations, theories of the mind and other diverse fields when I’m not working. Besides that, I have a great appreciation for storytelling as an art form, and enjoy expressing myself through writing and sketching.
I also maintain a secondary blog at electric brains 🧠, which is mainly to record byte size chunks of exposition about things that catch my fancy and/or other random content that I may be feeling like writing. So in case you are not able to find some content here, you might be able to find it there. This blog contains mostly the longer length technical expositions that I document for my day-to-day benefit.