363N, 14th Street, Manhattan, Kansas 66502

Ph: (785)-317-4824. Email: ganeshan@ksu.edu

Website: http://www.cis.ksu.edu/~ganeshan




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




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:


Academic Projects

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


Honor Society Memberships:


Professional Memberships:




Technical papers: