This is my professional resume. To learn more, contact me on LinkedIn or Facebook.

1. Senjuti Kundu Page 1 of 2
Senjuti Kundu
Final Year Student | Information Technology Engineering | Indian Institute of Information Technology, Allahabad
Email: senjutikundu93@gmail.com |iit2011132@iiita.ac.in Address: IIIT-Allahabad
Date of Birth: 28th
May, 1993 Website:
TECHNICAL SKILLS
Operating Systems
Linux – Ubuntu, Fedora, Mandriva, Mageia
Windows, Android
Software and Tools
GrGen.NET – Graph Transformation and Rewriting Toolkit (advanced)
LTLMop – Model Synthesis and controller specification using LTL (advanced)
SPIN –Formal Software Verification tool (advanced)
Google SketchUp – 3D Modelling Suite (advanced)
PhantomJS – Headless Webkit scriptable with JavaScript (Intermediate)
StarUML – Open UML/MDA Platform for Software Engineering (proficient)
MATLAB (proficient), Weka (beginner), OpenGL (beginner), LaTeX (beginner).
Languages
C (Advanced), C++ (Advanced), Java (Proficient), PROMELA (Intermediate), SQL
(Intermediate), JavaScript (Intermediate), F# (Beginner).
MAJOR PROJECTS
Component Based Computational Framework for Modelling Biped Locomotion (July – December 2014)
 Modelled human gait using hybrid automaton based on Behaviour, Interaction and Priority (BIP) Framework.
 Developed a hierarchical system consisting of atomic components (ankle, knee, hip) to model human gait.
 Validated the correctness of the model through simulation runs in OpenSim, achieving mean square error less
than 0.135 for ankle motion, 7.32 for knee motion and 36.72 for hip motion.
Mentor: Dr. G.C. Nandi, Dean of Academics at IIIT Allahabad, India
The paper “Component Based Computational Framework for Modeling Biped Locomotion” is currently under review
for publication in the journal Robotics and Autonomous System, Elsevier
Implementing Millstream Systems for Incremental Linguistic Models (May – December 2013)
 Built an Incremental Millstream System (a mathematical framework to formalize the interfaces between
different aspects of a language) using Graph Transformations on a tuple of ranked and ordered trees.
 Modelled cross-linked syntactic and semantic trees of words in sentences from a lexicon of graph rewriting
rules (created in GrGen.NET). Words are read by the reader in real time, building up an incremental system.
 Visualized the graphs in real-time using YComp and created a front-end for the user in C.
Mentor: Dr. Frank Drewes, Professor and Head of the research group Natural and Formal Languages at Umeå
University, Sweden
LTL Model Synthesis and Formal Model Verification (May – July 2014)
 Specified high-level reactive task specifications for robots in structured English and Linear Temporal Logic
(LTL) for various tasks like search and rescue, library management, etc.
 Implemented hybrid controllers generated automatically from the above LTL task specifications using Linear
Temporal Logic Mission Planning (LTLMoP).
 Specified the system description of the above controllers using PROMELA (Process Meta Language) and
formally verified the LTL generated Model using SPIN verification tool.
Mentor: Dr. Gihwon Kwon, Professor of Software Engineering at Kyonggi University, South Korea
Constructing a Learning and Self-Correcting Engine for Automated Categorization of Tweets (February – May 2013)
 Classified tweets using a pattern matching algorithm employing Levenshtein distance. Fine-tuned the
classification using a Naïve Bayes Classifier coupled with Multivariate Gaussian Distribution.
 Augmented the system to use parts of speech provided by the Stanford POS Tagger.
 Trained the engine on 4000 pre-classified tweets and achieved an accuracy of 85% on 6000 tweets.
Conducted By: Department of Computer Science and Automation (CSA), Indian Institute of Science (IISc), Bangalore,
in association with Amazon.com.

2. Senjuti Kundu Page 2 of 2
OTHER PROJECTS
Social Network Big Data Analytics and Modelling
 Analyzed artificial social network data of 6 months with over 6 million conversations.
 Modeled user, community and topic trends using statistical hypothesis testing and Louvain Clustering.
Theorem-Prover for First-Order Logic Resolution and Propositional Inference
 Used term rewrite systems, term and formula parsing, formula evaluation, clause representation and Davis-
Putnam-Loveland-Logemann (DPLL) inference for classical logic and propositional inference.
 Achieved a success rate of 62% on propositional logic and 8% on first-order on ILTP.
Software Engineering: Designing and Implementing a Flight Reservation System
 Modeled the static structure of the Flight Reservation System using StarUML. Used the CRC, class diagram
and use case analysis to design the software.
 Implemented the software using an SQL database, JDBC for connectivity to Oracle DB, and Swing.
Bioinformatics: Splice Junction Prediction in Eukaryotic Cells
 Identifying splice junctions from an RNA sequence using Rabin-Karp algorithm.
 Provided annotated files detailing information about their location and characteristics.
EDUCATIONAL QUALIFICATIONS
DEGREE YEAR INSTITUTION CGPA/PERCENT
Bachelor of Technology in
Information Technology
Graduating
in 2015
Indian Institute of Information
Technology, Allahabad
8.04/10
Indian School Certificate(ISC), Council for the
Indian School Certificate Examinations
2011
Our Lady Queen of the Missions
School, Kolkata
93.5%
Indian Certificate of Secondary Education
(ICSE), Indian School Certificate Examinations
2009
Our Lady Queen of the Missions
School, Kolkata
96.2%
RELEVANT COURSES
Natural Language Processing, Formal Languages and Automata Theory, Compiler Design, Artificial Intelligence,
Advanced Database Management Systems, Soft Computing, Numerical Methods and Transforms, Design and Analysis
of Algorithms, Operating Systems, Probability and Statistics, Object Oriented Methodology,Discrete Mathematics,
Data Structures, Computer Networking, Computer Graphics, Software Engineering, Cryptography, Robot Motion
Planning, Business Systems, Computer Organization and Architecture, Computer Organization and Microprocessors,
Digital Communication, Digital Electronics, Bioinformatics, Intellectual Property Rights, Computer Programming in
C++, Systems Modelling, Optimization Techniques
EXTRA CURRICULAR ACTIVITES
Teaching Assistant:
 Assisted in the course Introduction to Programming in C++ at IIIT Allahabad in Fall Semester 2014
 Held tutorials, developed and graded programming assignments, lab tests and answer sheets
Open Source:
 Contributed patches to the Linux Kernel and the FFmpeg project
 Developed a psychoacoustic SNR tool while making Improvements to AAC Encoder in FFmpeg
Technical Blogging:
 Technical blog for beginners coding in C, C++ and Java (http://basicodingfordummies.blogspot.in/)
 Content Writing at TechWikasta. (http://techwikasta.com/author/senjuti/)
Business Development:
 Interned at ClearTax, a Y Combinator funded startup based in Delhi, India (https://cleartax.in)
 Handled content management, web development and web-scraping based utilities for ClearTax
OTHER INTERESTS
Secretary for the College Literary Club (Sarasva) (2013 – 2014):
 Organized the first Model United Nations (MUN) debate in IIIT-Allahabad.
 Led the 50-member Media Team, responsible for the preparation of college memoranda, event
advertisement and on-campus reporting.