Research Interests

Formal verification of cyber-physical systems and their applications in various areas such as automotive, aerospace and robotics.