Download PDF

Work experience

Software Development Intern


Was in charge of day to day medium priority bug fixes in the Synup Web app. Was also given responsibility of creating Ruby on Rails modules for V2.0 of the Synup web app which involved automating the order creation workflow.

May 2014Jul 2014


Indian Bank

Using Data Envelopment Analytic(DEA) techniques, and an open source implementation of this technique, efficiency ratings of 2000+ branches were calculated. I also prepared User Manuals and imparted training to employees on usage of the software



M.Sc. Economics

Birla Institute of Technology and Science

B.E. Computer Science

Birla Institute of Technology and Science


Satisfiability Modulo Theory Solvers                                                                             Jan 2014 - Present

Extending works on first order logic including the Compactness theorem, Resolution in order to model an SMT solver.

Resource Allocation Software for Class Room Booking                                               Oct 2014– Dec 2014

Along with a team of 5 members, developed a Java based classroom booking software which efficiently allocates college class rooms for extra curricular activities in BITS Goa. The project involved interfacing a database as well as a UI and built as a client-server platform.

Study Oriented Analysis of Efficiency Evaluation Techniques                                    May 2014 – July 2014

Empirically tested various Efficiency evaluation techniques on past data and correlate ratings with present performance in order to check performance of various rating techniques.

Technical Proficiency

C, Java, Python, Ruby on Rails, MASM, Verilog, Stata, R