洪源(北京科技大學計算機科學與技術系講師)

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