Aman Bansal 160050028

Computer Science & Engineering UG Third Year (B.Tech.)

Indian Institute of Technology Bombay Male
DOB: 26/07/1999

Examination University Institute Year CPI / %

Graduation IIT Bombay IIT Bombay 2019 9.46
Intermediate/+2 CBSE Jayshree Periwal High School, Jaipur 2016 96.20
Matriculation CBSE Ryan International School, Jaipur 2014 95.00

Pursuing Honors in Computer Science and Engineering

Scholastic Achievements
• Achieved All India Rank 1 in JEE (Advanced) out of 150,000 candidates 2016
• Secured All India Rank 71 in JEE Mains out of 1.2 million candidates 2016
• Bagged State Rank 2 in State Talent Search Examination (STSE) organised by Rajasthan Board 2015
• Awarded AP grade (awarded to top 1% out of 900 students) in the Physical Chemistry course 2016
• Received certificate of merit and letter of appreciation from the Hon’ble HRD Minister for being among
the top 0.1% in Chemistry and Physical Education in All India Senior Secondary Examination 2016
• Scored 422/450 in BITSAT examination held by Birla Institute of Technology 2016

Olympiads And Scholarship

• Awarded Scholarship under the Charpak Research Internship Program by the Embassy of France
in India to undertake research internship in France (third among top 13 students nationally) 2018
• Received Gold Medal and Certificate of Merit for being placed in the top 38 candidates at INChO 2016
• Awarded Certificate of Merit for being among the national top 1% in NSEC and NSEA 2015
• Qualified for Indian National Physics Olympiad (INPhO) along with 300 other students 2015
• Recipient of the prestigious KVPY Fellowship by Dept. of Science and Technology, Govt. of India 2015
• Amongst the top 300 students selected for Indian National Astronomy Olympiad (INAO) 2014

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

terms and processes after devising DeepSec’s output format properly

• Implemented term parser and rewrite system along with unification algorithm for working with messages

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

EYE, The Interpreter that Visualises Autumn 2017

Guide: Prof. Kavi Arya | Course Project IIT Bombay
• Developed an interpreter using Python to interpret a self devised language

• 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

Chess Classic Spring 2017

Guide: Prof. Amitabha Sanyal | Course Project IIT Bombay
• Designed a single-player chess engine using functional programming in Racket

• 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

• Implemented computer-FPGA communication through USB using FPGALink library

• Achieved communication between FPGA boards through the UART port using a PC relay system

Public Key Cryptography Autumn 2016

Guide: Prof. Bernard L. Menezes | Course Project IIT Bombay
• Implemented RSA key generation using Miller-Rabin test for primality testing

• Padded the plaintext with PKCS#5 padding scheme for a CPA secure RSA encryption

• Used Baby-Step-Giant-Step method to approach Discrete Logarithm problem in Diffie-Hellman Protocol

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

Sports Secretary May 2017 - April 2018

Computer Science and Engineering Association (CSEA) IIT Bombay
• Responsible for organising Intra-department sports events and leagues such as Cricket, Football, Chess etc.

• Supporting the council in proper planning and conduction of Trek, Trip, Freshmen Orientation etc.

Teaching Assistant Jan 2018 - May 2018

CS 213.1x - Foundations of Data Structures IIT Bombay
• Worked as a teaching assistant for the CS-213.1x MOOC course hosted on EDX by IIT Bombay

• Responsible for answering queries on discussion forums and making in-video questions and walkthroughs.

Key Courses Undertaken

Computer Data Structures and Algorithms + Lab, Discrete Structures, Data Analysis and Interpreta-
Science tion, Software Systems Lab, Design and Analysis of Algorithms, Digital Logic Design + Lab,
Logic for Computer Science, Computer Networks + Lab, Graph Theory, Database and Informa-
tion Systems*, Computer Architecture*, Operating Systems*, Cryptogrpahy & Network Secu-
rity*,Automata Theory**, Artificial Intelligence**, Implementation of Programming Lang.**,
Abstractions and Paradigms in Programming + Lab, Computer Programming and Utilization
Other Economics, Psychology*, Abstract Algebra, Calculus, Linear Algebra, Differential Equations,
Courses Introduction to Electrical and Electronics Circuits, Engineering Graphics and Drawings
*to be completed by November 2018 **to be completed by April 2019

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