Hello and welcome to my page
My name is Ganeshan Jayaraman. I am currently doing my Masters in Computing and Information Sciences at Kansas State University. On this site you will find information related to my academics and about myself. More updates as soon as I sit and do the web page design properly!
The whole of existence is one big model checker. By: Ganeshan.