His research interest is on Mathematical Engineering, where mathematical methods are used to construct computational structures (in the form of hardware, software, or protocol) and to verify their properties (e.g. correctness, robustness, and efficiency). In other words, he is interested in algorithm design, formal methods, and their applications to VLSI CAD, security, and other areas.