Street, Manhattan, Kansas 66502
Aug ’03 - current
Kansas State University, Kansas
Masters Computer Science
GPA: 4.0 / 4.0
Dec ’99 – May ‘03
Jawaharlal Nehru Technological
Bachelors Computer Science GPA: 3.9 / 4.0
Java, C, C++, Visual Basic,
COBOL, DocBook SGML
Linux, Windows 9x/2000/XP,
MySql, MS Access, Oracle
Dreamweaver, FrontPage, Photoshop
Microsoft Office, OpenOffice, Word Perfect
Model Checking tools
JPF (Java Path Finder), Spin, UPPAAL, Bogor
Eclipse (Plug-in creation), Visual Studio.NET, Qt
- Dec ’04 – Current: Working as a Graduate
Research Assistant in the SANTOS programming laboratory at Kansas State
- Aug ’04 – Dec ‘04: Worked as a Graduate
Teaching Assistant in the Computing and Information Sciences department.
Responsible for assisting the teaching in the courses ‘Advanced Software
Engineering’ and ‘Translator Design’
- Dec ‘03 – Aug ‘04: Worked as a Graduate
Research Assistant in the SANTOS
programming laboratory at Kansas State University. Responsibilities
included developing and maintaining an Eclipse plug-in for the Indus Java slicer. The plug-in is
it is one of the first GUI Java slicing tools created. More information
can be found at http://indus.projects.cis.ksu.edu. Kaveri provides
features like backward and forward slicing, program dependence chasing and
a program comprehension view.
- Minix: Modified the Minix operating system to
implement features like semaphore system calls, virtual memory sub-system
and a virtual floppy device driver.
- Wig Compiler – Designed and implemented a
compiler for the Wig language. The wig language provides a simple way to
describe the behavior of CGI programs. The compiler takes in such a file
and outputs a C CGI program.
- APL Compiler – Designed and implemented a
compiler for the Agent Programming language. APL is an agent behavior
specification language. The compiler converts this specification into Java
bases agent programs
- Grid Simulation- Jacobi Iteration – Implemented
the Jacobi heat-transfer grid simulation in Java using shared memory and
thread pool methodologies.
- Linux Serial Driver and Hyperterminal – Developed
a serial device driver for the Linux operating system. A GUI was also
developed to utilize the driver with similar functionalities as
HyperTerminal in Windows. The program also uses a custom-built file
transfer protocol ‘LSDP’ to transfer files over the serial port.
- Model Checking:
Designed and verified the functional correctness of a
brick sorter, built using the Lego mindstorms kit. The aim of the project was
to take a real-time system and check its properties using the UPPAAL
Implemented a parametric regular path query checker for
verifying properties of CCM (CORBA Component Model) systems designed in the
Cadena framework, with the help of the Bogor model checker.
- Google Searcher – A Java GUI program that
allows direct access to the google search engine using the google web
- Web services – Implemented a spell checker
using the google web service toolkit
- Blog – Designed and implemented a blog site
using php and the domit xml parser.
Honor Society Memberships:
- Elected member of ‘The Honor Society of Phi
Kappa Phi’ in fall 2004
- IEEE member
- IEEE Computer
- Kaveri: Delivering Indus Java Program
Slicer to Eclipse Ganeshan Jayaraman, Venkatesh Prasad Ranganath,
and John Hatcliff (Fundamental Approaches to Software Engineering,
- Quantum Computers – First prize in IEEE
national level paper presentation contest conducted in India.
- Server side scripting using PHP –
Presented in state level technical paper presentation contest in India.
- MPEG video compression – Presented in state
level technical paper presentation contest in India.