- Taiwan is my homeland. I write in Traditional Chinese and speak Taiwanese Mandarin.
- I am a research officer at Swansea University, starting from June 2017.
- Between 2014 and 2016, I was in TU Braunschweig, Germany working with Jiri Adamek and his team.
- Also in 2016, I was in Hawaii working with Dusko Pavlovic for a few months.
Broadly speaking, my research interest is the interplay between logic and structure, and in particular Stone-type duality, using category theory or whatever appropriate. For these years, I have worked on various subjects:
Coalgebra and modal logic
Coalgebra is a unifying theory of state-based transition systems based on category theory. It covers quite a number of structures such as labelled transition systems, Markov chains, multigraphs, neighbourhood frames, etc. Coalgebraic modal logic is the study of modal logics for coalgebra based on Stone duality. My PhD thesis is about the category of coalgebraic modalities introduced by myself. An MFPS paper contains some of main results from my (still not published) thesis.
My colleague and I investigated automata theory using category theory to develop a universal theory for Eilenberg-type correspondence between regular languages and finite algebras based on Stone-type duality. We developed new techniques to tackle universal finite algebra in a categorical context such as profinite monad (categorifying profinite equation) and unary presentation in order to derive a generic correspondence theorem. A series of papers are published in various conferences: CALCO, FoSSaCS, DLT, and MFCS.
I am currently working on a project about data privacy and data release. At this moment, I am trying to understand the nature of (deterministic, non-deterministic, or probabilistic) data linkage algebraically, following a number of well-established representations of knowledge and uncertainty such as relational algebra, subjective Bayesian probability, Dempster-Shafer theory, and domain theory etc.
- Best MFCS Paper Award
- Lecturer on Lambda Calculus, Formosan Summer School on Logic, Language, and Computation (FLOLAC'16)
- Lecturer on Operational Semantics, Formosan Summer School on Logic, Language, and Computation (FLOLAC'14)
- PhD Studentship
in the EPSRC project Coalgebraic Logic—Extending the scope