A short summary of my work and education
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)