Chen, Liang-Ting 陳亮廷
Postdoctoral Researcher
Institute of Information Science
Academia Sinica, Taiwan
Research
My research interests include, but are not limited to,
- automata theory
- modal logic
- category theory
- foundations and applications of dependently typed programming
I generally find the categorical perspective of theory B interesting to me.
Academic service
International Conference on Functional Programming (ICFP)
Programme committee member, 2023Workshop on Type-Driven Development (TyDe)
Programme committee member, 2021Formosan Summer School on Logic, Language, and Computation (FLOLAC)
Co-organiser (2018, 2020, 2022 with Hsiang-Shang Ko)
Lecturer (2014, 2016, 2018, 2020, 2022)Reviewer for conferences:
PPDP’20, CONCUR’20, POPL’18, SAC’18, CALCO’17, LICS’17, LICS’16, PODS’16, LICS’15, MPC’10, ICFP’09
Award
EATCS Best Paper Award at the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
PhD Studentship from the EPSRC Project Coalgebraic Logic—Extending the Scope, 2009
Invited Talk
- Foundations of Mathematics, Topoi, and Functional Programming Languages
Math Club, Department of Mathematics, National Taiwan University, Taiwan, 2023
Publications
(See also: DBLP or Google Scholar)