Welcome to Dr. Hui Kong's homepage.         

I'm currently working as a postdoctoral researcher with Rupak Majumdar at Max Planck Institute for Software Systems. My research interests include: 

  • formal methods
  • hybrid system 
  • cyber-physical System
  • artificial intelligence