Henny Sipma, PhD

I am now working full time at Kestrel Technology..

Research Interests:

  • Static analysis of C programs
  • Static analysis of discrete, real-time and hybrid systems
  • Runtime analysis of programs
  • Visual formalisms for verification
  • Event Correlation
  • Formalization of middleware constructs
  • Decision procedures
  • Application of verification methods to PLC's (programmable logic controllers) and industrial safety systems (such as emergency shutdown systems in chemical plants and refineries)

E-mail: sipma@cs.stanford.edu

Last modified: Mon Sep 22 09:22:27 PDT 2008