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.