about

I am an assistant professor in the Department of Computer Science and Information Engineering and iFIRST at National Taipei University of Technology.

Before joining NTUT, I was a postdoctoral researcher in Kai-Min Chung's lab at Academia Sinica. Earlier, I was a postdoctoral researcher at the Institute of Mathematics, Academia Sinica.

I received my PhD from IMJ-PRG and Universite de Paris Diderot Paris VII, under the supervision of Marc Rosso and Olivier Schiffmann.

My current research focuses on formal methods, verification, automata, decision procedures, cryptography, and quantum computing, especially quantum program and circuit verification.

At NTUT, I teach algorithms, compilers, computational logic and software verification, and formal languages.

For publications, please see DBLP.