人物介紹
廖備水,2006年3月畢業於浙江大學計算機學院,獲得博士學位,主要從事邏輯學與人工智慧的研究。現任浙江大學教授(2013-),博士生導師,浙江大學邏輯與認知研究所副所長,浙江大學“求是青年學者”,盧森堡大學客座教授(VisitingProfessor),國際期刊Argument&Computation(IOSPress)和IfCoLogJournalofLogicsandtheirApplications編委,中國邏輯學會科學邏輯專業委員會副秘書長、常務委員,美國德克薩斯大學奧斯汀分校訪問學者(2009.7-2011.7),義大利布雷西亞大學訪問學者(2014.7-10)。目前,已主持國家自然科學基金面上項目2項、國家社會科學基金重大項目子課題2項、國際合作項目2項、浙江省自然科學基金項目2項、中國博士後科學基金(一等)1項、浙江省博士後科研項目擇優資助(1類)1項;已出版專著3本、譯著1本,已在ArtificialIntelligence、JournalofLogicandComputation、IfCoLogJournalofLogicsandtheirApplications、AnnalsofMathematicsandArtificialIntelligence、InformationSciences、IJCAI、LORI等學術刊物及國際會議上發表論文60多篇。其中,英文專著《EfficientComputationofArgumentationSemantics》(Elsevier)獲“浙江省第十八屆哲學社會科學優秀成果獎一等獎”。