中文 English 助研究員  |   陳亮廷       Honors & Awards   EATCS Best Paper Award, the 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aalborg, Denmark (2017)