Overview

GrammaTech has been performing cutting-edge research since it was founded in 1988 by Professor Tim Teitelbaum of Cornell University and Professor Tom Reps of the University of Wisconsin. We incorporate our research results into commercial products, which are then used to support our further research.

GrammaTech's research staff includes eleven PhD-level experts in program analysis and numerous software engineers. In addition, our research interests have much in common with those of our co-founder, Prof. Tom Reps of the University of Wisconsin, which provides an additional avenue for research cooperation and technology transfer.


Areas | Products | Sponsors | Publications | News | About Us © 2007-2010, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.