GANESHAN JAYARAMAN

Education:

Aug ’03 - current

Kansas State University, Kansas

Masters Computer Science

GPA: 4.0 / 4.0

Dec ’99 – May ‘03

Jawaharlal Nehru Technological University, India

Bachelors Computer Science GPA: 3.9 / 4.0

Skills:

Languages	Java, C, C++, Visual Basic, VC++, JavaScript, VbScript, HTML, PHP, C#, ASP, SQL, PL/SQL, Assembly, XML, COBOL, DocBook SGML
Operating Systems	Linux, Windows 9x/2000/XP, Unix, MS-DOS
Database Systems	MySql, MS Access, Oracle
Web Tools	Dreamweaver, FrontPage, Photoshop
Compiler Tools	Flex, Bison
Office Suites	Microsoft Office, OpenOffice, Word Perfect
Model Checking tools	JPF (Java Path Finder), Spin, UPPAAL, Bogor
Development Platforms	Eclipse (Plug-in creation), Visual Studio.NET, Qt Designer, KDevelop

Work Experience:

Dec ’04 – Current: Working as a Graduate Research Assistant in the SANTOS programming laboratory at Kansas State University.
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 called ‘Kaveri’and 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.

Academic Projects

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 model-checking framework.

· 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.

Personal Projects:

Google Searcher – A Java GUI program that allows direct access to the google search engine using the google web services framework.
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

Professional Memberships:

IEEE member
IEEE Computer Society member

Publications:

Kaveri: Delivering Indus Java Program Slicer to Eclipse Ganeshan Jayaraman, Venkatesh Prasad Ranganath, and John Hatcliff (Fundamental Approaches to Software Engineering, Edinburgh 2005)

Technical papers:

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.