Technology Transfer

One of my R & D themes has been to package program analysis technology so that it finds practical uses in the Industry.
Gensat, a generator for static analysis and transformation (SAT) programs, is such a software system.

The technological know-how of the Gensat technology was transferred to a Company for a sizeable technology transfer fee.

  Brief description of Gensat