Contact Information

Nirmit Desai
Co-Lead, Global Technology Outlook
Bangalore, India

Tab navigation

Research Areas
Next generation service systems
Multiagent systems
Process design, simulation, and verification

Ph.D. North Carolina State University, 2007
M.S. North Carolina state University, 2003
B.E. Gujarat University, 2001

DBLP Listing and Google Scholar

Other stuff
Promela specification of the FPR example is here.