Welcome to the Technical Page of
| Resume | Publications | Career Graph | E-mail | Guest book
Currently, consultant in the
* Also, doing books, and research papers reviews. Reviews of 29 books/articles are published in journals like ACM SIGACT Newsletter, ACM Computing reviews ( ACM & reviews.com ), IEEE Distributed systems online.
* Director, Professional Activities, IEEE Atlanta Section for 2003.
* Member of ACM (1999-2005), member of IEEE (2000-2004), member of WWISA (2002 onwards).
Vivechan, Inc., Atlanta, GA, USA. : 2004 onwards.
Proceler / Flexsilicon Inc., Atlanta, GA, USA : Principal Systems Engineer : June 2000 to September 2002
Bhasha, Inc., Wayne, PA, USA. : Member of technical staff : January 2000 to April 2000
Sun Microsystems Inc., Palo Alto, California, USA. : Member - technical staff 3, software : December 1998 to June 1999
IBM Global Services India Pvt. Ltd., Bangalore, India : Senior Software Analyst : May 1998 to November 1998
Advanced Synergic Microsystems Limited, Bangalore, India. : Systems Analyst, Team Leader. : May 1997 to April 1998
Doctor of Philosophy, July-1998 :
Computer Science and Automation, Indian
Institute of Science, Bangalore,
Thesis Title : AMI - The Language and its Implementation.
Master of Science ( Engineering ), 1990 : Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India
Thesis Title : A Parallelizing Compiler for Pascal.
Bachelor of Engineering ( Civil Engineering ), 1987 : M. S. University of Baroda, Baroda, India.
Project title : High Rise Buildings.
Distribution of Dynamic Data Structures on a Multi-processor, Maulik A. Dave and Y. N. Srikant, International Conference on High Performance Computing, New Delhi, India, December 1995.
Program Analysis based Model Checking Tool, at http://www.oocities.org/compiler00/dave3.pdf, 2004.
Checking Compiler Models by SPIN at http://www.oocities.org/compiler00/dave2.html, 2004.
Compiler Verification : A Brief History at http://www.oocities.org/compiler00/dave1.html, 2003.
Sheshgiri Kaikini Best Thesis Award - 1998, conferred for indigenous work in the PhD by Indian Institute of Science, Bangalore, India.
Special CDAC Award - 1996 , conferred in the category System Software for Distributed Memoty Machines for developing software on the parallel supercomputer-PARAM by Center for Development of Advanced Computing, Bangalore, India.
Chairman, Students Council, Indian Institute of Science, Bangalore, INDIA, 1992-93
Site Last Updated on August 16, 2005