Nirmit Desai  Nirmit Desai photo       

contact information

Co-Lead, Global Technology Outlook
Bangalore, India
  +91dash9980543046

links


profile


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.