Contact Information
Nirmit Desai
Co-Lead, Global Technology Outlook
Bangalore, India
nirmit.desai
in.ibm.com +91
9980543046
Bangalore, India
nirmit.desai
in.ibm.com +919980543046Tab navigation
Research Areas
Next generation service systems
Multiagent systems
Process design, simulation, and verification
Education
Ph.D. North Carolina State University, 2007
M.S. North Carolina state University, 2003
B.E. Gujarat University, 2001
Publications
DBLP Listing and Google Scholar
Promela specification of the FPR example is here.