助研究員 |
陳亮廷
Research Interests
Category Theory
Mathematical Logic
Programming Language
Theoretical Computer Science