Ankit Rokde

Ankit Rokde

IIT Bombay
location_on India

Member since 6 years


Ankit Rokde

Specialises In (based on submitted proposals)
bounded-model-checking haskell quickcheck liquid-hakell ghc-core smt-solvers cbmc everyday-fp

I am Ankit Rokde. I am pursuing M. Tech. (CSE) at IIT Bombay. I am currently finding my research interest. I am a functional programmer, deeply in love with Haskell. I am an open source enthusiast and expert in Linux. I am also working as a system administrator in dept. of CSE at IIT Bombay.

Before joining IITB, I worked as an application developer at ThoughtWorks Technologies India Pvt. Ltd. for 3 years. I am a full-stack developer experienced in many front-end and back-end technologies such as JAVA, Javascript, Android. I have used a multitude of frameworks involving these technologies. I am experienced in CI/CD practices and have done build and deployment automation on the projects I have worked on.