Study Topics
We explore analysis and synthesis of dynamical systems from broad perspective using mathematical systems theory. Currently, we are actively working on the reliability/stability verification of AI systems on the basis of optimization and control theory.
