Research assistant in Institute of Information Science, Academia Sinica.

I am mainly interested in computability theory, stability theory, and computable structure theory. Also, I study categorical aspect of many-valued logic such as modal logic and dynamic logic.