Assistant Research Fellow/Professor |
Chen, Liang-Ting
Research Interests
Category Theory
Mathematical Logic
Programming Language
Theoretical Computer Science