Welcome to Dr. Hui Kong's homepage.         

I'm currently working as a postdoctoral researcher in Thomas A. Henzinger's 

group at IST Austria, Austria. My research interests include: 

  • hybrid system theory
  • hybrid system safety verification 
  • invariant generation
  • hybrid system state space partition
  • stability analysis
  • Cyber-physical System