I am a graduate in Computer Science from Indian Institute of Technology, Kanpur. I have been fortunate to work with Prof. Kuldeep Meel from NUS and Prof. Subhajit Roy from IIT Kanpur who broadly led me into the world of Logic and Automated Reasoning in CS. I am currently working on analysing the size and compile times in Knowledge Compilations on random CNFs. Our works on sampling using knowledge compilations have been accepted to TACAS 2019 and LPAR 2019. In further past, my work on securing databases from insider attacks using Blockchains got published in workshop at ISRDC, IIT Bombay. I have also interned with Partner Center team on automating User Migration at Microsoft in summer of 2017.
I am always interested in exploring new territories in Computer Science by working on interesting and challenging problems. At other times, you can find me just reading a book, playing guitar or thinking into an abyss. I also like to take pics of appealing compositions whenever I can find them.
B.Tech - M.Tech (Dual Degree), 2019
Indian Institute of Technology, Kanpur
Class 12, 2014
DAV Public School, Kota, Rajasthan
Class 10, 2012
DAV Public School, Kota, Rajasthan