Nimble Research is a small research and consulting company located in Arcadia, CA 91006, USA.

Areas of expertise:

• analysis of
  • safety critical software and
  • systems with multi-threaded or concurrent code
• training in
  • software risk for managers
  • safety critical software development
  • logic model checking of multi-threaded software
• static source code analysis
• code review tools and processes
• coding standard compliance verification
• preparing expert witness testimony

Nimble Research was founded by Gerard Holzmann, after working some twenty years as a researcher at the famed Bell Laboratories in Murray Hill, NJ, and thirteen years as founder and lead of NASA/JPL's Laboratory for Reliable Software in Pasadena, CA:

• U.S. National Academy of Engineering
• ACM Fellow, JPL Fellow
• Faculty Associate in Computing & Mathematical Sciences at Caltech
• TS/SCI clearance
• Short CV; long CV

More information: gh atsign nimbleresearch dot com