人物經(jīng)歷
2010.9-2011.9 荷蘭阿姆斯特丹大學(xué)邏輯、語(yǔ)言與計(jì)算研究所 訪問(wèn)學(xué)者；
2000.9-2005.7 北京大學(xué) 哲學(xué)系邏輯學(xué)專業(yè)研究生，2005.7獲哲學(xué)博士學(xué)位1996.9-2000.2 北京大學(xué) 哲學(xué)系邏輯學(xué)專業(yè)本科生，2000.7 獲哲學(xué)學(xué)士學(xué)位。
主講課程
邏輯學(xué)、語(yǔ)言邏輯（本科生）；
模態(tài)邏輯、集合論、歸納邏輯（研究生）。
研究方向
符號(hào)邏輯、哲學(xué)邏輯。
主要貢獻(xiàn)
2012.1- 國(guó)家社科基金后期資助項(xiàng)目：“概稱句推理研究”。
2009.11- 教育部人文社科青年項(xiàng)目：“自然邏輯研究”等。
榮譽(yù)記錄
2010.9 獲第五屆“金岳霖學(xué)術(shù)獎(jiǎng)·優(yōu)秀博士論文一等獎(jiǎng)”。2008.11 論文《基于主謂項(xiàng)涵義聯(lián)系的概稱句推理的幾個(gè)邏輯》（張立英、周北海）獲“中國(guó)邏輯學(xué)會(huì)第二屆優(yōu)秀成果獎(jiǎng)科研三等獎(jiǎng)”（一等獎(jiǎng)空缺）。
