Chen, Liang-Ting 陳亮廷
Assistant Research Fellow (Assistant Professor)
Institute of Information Science
Academia Sinica, Taiwan
About me
I am an assistant research fellow in the Theory Research Group at the Institute of Information Science, Academia Sinica in Taiwan.
Research Interests
I am generally interested in mathematical structures in computer science, specifically, the so-called ‘theory B’ of theoretical computer science. My work so far spans dependently typed programming, programming languages, logic, and automata theory, employing logical and categorical methods.
Recently, I have been exploring the computational and logical aspects of type theory, particularly through the lens of the lens of Curry-Howard correspondence. I have worked on both the theory and practice of programming languages using Agda, a proof assistant and a dependently typed language. This approach allows me to produce reliable, reproducible, and sometimes useful results.
Prospective postdocs / assistants
I have some funding available to hire a self-motivated postdoc and research assistants to join me at Academia Sinica.
If you find my work interesting to you, please feel free to send me an email with your résumé to initiate the conversation.
Academic service
ACM SIGPLAN International Conference on Functional Programming (ICFP)
PC member, 2023
Student research competition PC member, 2024ACM SIGPLAN Haskell Symposium
PC member, 2024Workshop on Mathematically Structured Functional Programming (MSFP)
PC member, 2024Asian Symposium on Programming Languages and Systems (APLAS)
Student research competition PC member, 2024Workshop on Type-Driven Development (TyDe)
PC member, 2021Formosan Summer School on Logic, Language, and Computation (FLOLAC)
Co-organiser (2024, 2022, 2020, 2018 with Hsiang-Shang Ko)
Lecturer (2024, 2022, 2020, 2018, 2016, 2014)Reviewer for conferences:
ICFP’24, CPP’24, 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 UK EPSRC Project Coalgebraic Logic—Extending the Scope, 2009
Invited Talk
- From Datatype Genericity to Language Genericity
WG6 Meeting of European Research Network on Formal Proofs, Leuven, Belgium, 2024 - 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)