Submitted 2 papers to AAAI 2017. Wake me up when September ends!
Back to Toronto for Fields Institute Workshop on SAT Solving 2016. My Invited Talk on Approximate Counting is scheduled on Thursday, Aug 18.
Will be in Toronto for CAV 2016. Looking forward to talk by Prof. Moshe Vardi on our progress on Constrained Sampling and Counting.
Will be at IJCAI-16 for our two papers on phase transition and approximate counting respectively. I will be presenting our recent result on reduction of SAT calls from linear to logarithmic for hashing-based approximate counting/inference techniques.
Before moving to the world of research, I was at Pocket Gems, in the heart of Silicon Valley, as a Mobile Engineer (8th engineer to join the company) – part of the team of the two (Tap Zoo & Tap Pet Hotel) of the top 5 grossing apps at Apple Store in 2011. I spent four wonderful years at IIT Bombay where I incidentally obtained my B.Tech. in Computer Science & Engineering. I lived in Johnnies wing of The Vikings - Hostel 6 in the campus.