郝兆寬

1987年入北京師範大學哲學系，1991年獲哲學學士學位。同年免試進入北師大哲學系攻讀邏輯學專業碩士研究生，導師為陳銀科教授。1994年4月，因成績優異，提前完成論文，被准予提前半年畢業。碩士論文《數理邏輯中的真概念》發表於同年出版的《哲學動態（增刊）》上。

1997年8月考入北京大學哲學系，攻讀邏輯學專業博士研究生，導師為劉壯虎教授。1998年至1999年，受世界著名邏輯學家Dirk van Dalen 教授的推薦，至荷蘭數學研究所（MRI）進修，在荷蘭Utrecht大學數學系學習。2000年7月畢業於北京大學哲學系，獲哲學博士學位。博士論文《帶類型和不帶類型的Lambda-演算》的一部分發表於2001年《哲學動態（增刊）》。

2000年8月至今，在復旦大學哲學系任教，先後為哲學系人文學院本科生開設了《邏輯導論》課程，為哲學系研究生開設了《一階邏輯》、《模態邏輯》、《集合論》、《模型論》等課程。

2002年，研究項目《Lambda-演算研究》獲得教育部人文社會科學九五規劃青年項目資助。

2004年，論文《Lambda-演算與垂直線定理》榮獲中國邏輯學會第一屆（1978.5-2002.12）優秀成果科研獎二等獎。在本次評獎中，一等獎空缺。在獲得二等獎的三部作品中，這是唯一的論文。其餘兩部為專著。