洪源

本科教離散數學，資料庫系統原理，研究生教自然語言語義計算導引，主要研究形式語義學，自然語言處理。代表著作為《離散數學》（高等教育出版社）。