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)
Publications
Personal
 


E-mail: sipma@cs.stanford.edu


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