Research

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.

  • Automata theory

    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.

  • Privacy

    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.

Profile

Trivia

2017
Best MFCS Paper Award
2016
Lecturer on Lambda Calculus, Formosan Summer School on Logic, Language, and Computation (FLOLAC'16)
2014
Lecturer on Operational Semantics, Formosan Summer School on Logic, Language, and Computation (FLOLAC'14)
2009–12
PhD Studentship
in the EPSRC project Coalgebraic Logic—Extending the scope

Education

2014
PhD in Computer Science
University of Birmingham, UK
2007
Double BSc in Mathematics and in Computer Science and Information Engineering
National Cheng-Kung University, Taiwan

Publications, Manuscripts, and Preprints