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