Documente Academic
Documente Profesional
Documente Cultură
Internships
Simulator for Witnessing Protocol Attacks Summer 2018
Guide: Prof. Steve Kremer INRIA Nancy
• Designed a simulator for witnessing attacks on a protocol that violate a behavioural equivalence by inter-
actively displaying them using the output from the DeepSec tool in javascript
• Studied about automated, symbolic verification techniques and manipulating behavioural equivalences
• Implemented the operational semantics of applied pi calculus and trace equivalence and of manipulating
Key Projects
Autonomous Teaching Assistant Summer 2017
Institute Technical Summer Project IIT Bombay
• Created a platform to generate questions from text corpus and then grade the answers using Python
• Used the Stanford Parser to generate constituency parse trees of the given sentences
• Utilized the Natural Language Toolkit (NLTK) library of Python to operate on the parse trees
• Introduced Named Entity Recognition and Pronoun Resolution to detect vague questions
• Integrated the platform with Django based web app for easy interfacing with users
• Employed rply library for constructing abstract syntax trees through lexical analysis and parsing
• Simulated variables, control flow and various data structures on the canvas using graphics.py library
• Used mini-max algorithm along with alpha-beta prunning to enhance the efficiency of the engine
• Included various board heuristics with optimal values to improve the moves of chess engine
Railway Signalling Controller Spring 2018
Guide: Prof. Supratik Chakraborty | Course Project IIT Bombay
• Programmed a SpartanFPGA board to work as a railway controller using VHDL and C language.
• Read track data from backend computer through encrypted USB communication using FPGALink library
• Achieved communication between FPGA boards through the UART port using a PC relay system
• Padded the plaintext with PKCS#5 padding scheme for a CPA secure RSA encryption
Other Projects
Wrestle-AI : Secured first place in wrestle-AI competition for engineering an autonomous wrestling bot in
arduino using IR sensors for detecting boundaries and ultrasonic sensors for detecting obstacles
Syntactic Expression Parser : Built a complete parser capable of parsing complex expressions from scratch
N-Body Simulation : Used Barnes-Hut algorithm, a divide and conquer strategy to develop a graphical
simulation of gravitational interactions and elastic collisions between multiple point particles in a 2-D space
File Transfer Protocol : Implemented a basic version of FTP using socket programming in C
Technical Skills
Programming Languages C++, C, Scheme, Python, Java, Prolog, ASP, Bash, Awk, VHDL
Web Development JavaScript, Bootstrap, PHP, HTML5, CSS
Softwares MATLAB, LATEX, Git, Make, Gnuplot, Doxygen, AutoCAD, SolidWorks
Positions of Responsibility
Department Academic Mentor April 2018 - Present
Computer Science and Engineering Department IIT Bombay
• Mentor to 6 sophomores for helping them cope up with the curriculum and solve their general concerns
• Supporting the council in proper planning and conduction of Trek, Trip, Freshmen Orientation etc.
• Responsible for answering queries on discussion forums and making in-video questions and walkthroughs.
Extracurriculars
• Bagged 468th position in picoCTF 2017 organised by Carnegie Mellon University (CMU) 2017
• Received certificate of merit for swimming continuously for 8 hours covering a total distance of
12 km in Swimmathon 2017 organised by Aquatics Club, IIT Bombay 2017
• Successfully completed 80 hours under the National Service Scheme (NSS) IITB which involved
teaching (around 20 students) at an NGO and also making presentations related to basic banking 2016-17
• Attended Vijyoshi Camp, organized by the Indian Institute of Science Education and Research
(IISER), Kolkata for facilitating interaction among bright young minds and leading researchers 2014
• Engineered an app-controlled bot for XLR8 competition organised by Robotics Club IITB 2016