About

A short summary of my work and education

Research

I am an Assistant Professor at IIIT-Allahabad in Information Technology department. My main research topic contain computer aided Verification and Synthesis techniques. This entails to automatically proving that a computer system is correct or generating one which is free of errors. See my CV.
(My old site and an even older site)

Education and Experience