Our customers create software for avionics, medical, industrial control, and other mission-critical applications. Since its inception as a spin-off of Cornell University, GrammaTech has focused on providing static analysis for applications where reliability and security are paramount. Our staff includes thirteen PhD-level experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms.