Contact Information

Nirmit Desai
Co-Lead, Global Technology Outlook
Bangalore, India
nirmit.desaiatin.ibm.com      +91dash9980543046


Tab 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

Other stuff
Promela specification of the FPR example is here.