Liang-Ting Chen

Former postdoc

contact

Liang-Ting Chen is a former postdoctoral fellow in the Department of Information and Computer Sciences at the University of Hawaii at Manoa. He was born and educated in Taiwan with double majors in mathematics and computer science, received his PhD degree in computer science at the University of Birmingham, UK, and held a postdoc at TU Braunschweig, Germany. Since 2014, he also teaches lambda calculus in a summer school, called Formosan Summer School on Logic, Language, and Computation, in Taiwan for even years.

His main interest is categorical methods in theoretical computer science. For example, in his PhD thesis he investigates a category of coalgebraic modal logics towards a modular construction of modal logic for different state-based transition systems using Stone-type duality. Lately, he shifted to algebraic automata theory and unified various Eilenberg correspondences, again, using Stone-type duality.

For a list of publication, see his Google Scholar page.

Toshiki Kataoka
Researh student. Toshiki is interested in category theory and categorical logic...
Christian Collberg
Member. Christian's main interest is the Man-At-The-End Attack...
Fred Piper
Member. Fred advises across all research areas...
Peter-Michael Seidel
Member. Interested in computer arithmetic, hardware security, formal methods....
Muzamil Yahia
Research Student. Interested in cryptography, game theory and algorithmic information theory...
Viktor Winschel
Member. Viktor is applying categorical tools to macroeconomics...
Nancy Mogire
Former research student. Interested in cryptographic protocols for web applications...
Jason Castiglione
Graduate Student. Jason is interested in category theory and information theory ...
Liang-Ting Chen
Former postdoc. Interested in categorical structures in computer science.
Rui Zhang
Rui's research interests are security and privacy in wireless/mobile networks...
Catherine Meadows
Member. Interested in algebras and logics of security systems...
Depeng Li
Member. Dr. Li's research interests span from secure computation for Internet of Things to privacy at smart homes...  
Christina Vasilakopoulou
Former postdoc. Christina’s interests lie in Category Theory, especially monoidal and enriched categories...
Tobias Heindel
Research Scholar. Tobias’s research has been revolving around logic, verification, and category theory.
Simon Willerton
Member. He now often thinks a lot about category theory and is partly responsible for the Catster YouTube videos on category theory.
Yingfei Dong
Member. His current research interests are mostly in secure Internet architectures and network security...
Whitfield Diffie
Member. Visiting Professor at Royal-Holloway...
Dusko Pavlovic
Founder. Dusko is interested in security and adaptation...