I am R&D engineer at veridise.com, a blockchain security and verification company.
I am also in process of finishing up my Ph.D. from the Indian Institute of Science, Bangalore.
My areas of interest are Programming Languages (automated analysis and verification), Automated Software Engineering.