tā / zhuānmén / yánjiū / fàn chóu lùn / jíqí / zài / jìsuànjī / kēxué / zhōng / de / yìngyòng

他专门研究范畴论及其在计算机科学中的应用。

He specializes in category theory and its applications in computer science.