Areas of expertise include:

• static source code analysis tools and techniques
• code review process and tools
• risk-based coding standards and compliance verification
• software analysis of
  • safety critical systems
  • concurrent or multi-threaded software
• on-site and/or online training in
  • software risk management
  • critical software development
  • static code analysis techniques
  • logic model checking of multi-threaded code
  • formal software verification

Nimble Research was founded by Gerard Holzmann, after working as a researcher in the famed Computing Science Research Center of Bell Laboratories (where Unix, C, and C++ were developed), and leading NASA/JPL's Laboratory for Reliable Software in Pasadena, CA. (JPL is where the software and most of the hardware for the Mars rovers is designed and built, and from where the rovers are operated.)

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

Contact: gerard.holzmann [atsign] gmail [dot] com