猫娘神 唐小菲大学校长,丘成桐日本分桐 数学博士去外地开会的一天 会前 导师微信发消息,小X,最近北京有个会你去参加一下。 收到收到收到,马上拿出手机订往返车票,发现两张车票要一千多,银行卡余额不足。 找咖喱人要点金币,舔着脸要了五千块应应急,解释说这些钱是之后是可以报销的。 咖喱人不情愿的打了...
北京大学数学科学学院 被引频次 167 成果数 11 H指数 3 G指数 0领域: 计算机科学与技术 期刊 90.9% 会议 0% 专著 0% 其它 9.1% 总计 11篇 2005年成果数2 2011年被引量27 全部年份 全部类型 全部作者 按时间降序 形式化方法与应用专题前言 2022 - 陈立前,孙猛 - 《软件学报》 - 被引量: 0 收藏相...
北京大学数学科学学院信息与计算科学系教授/博导 CCF形式化方法专委会委员,中国工业与应用数学学会区块链专委会常务委员。分别于1999年和2005年获得北京大学应用数学学士和博士学位。2005年至2006年,在新加坡国立大学从事博士后研究,2006年...
研究员 2005-2006 新加坡国立大学计算学院 博士后 2002-2003 联合国大学国际软件技术研究所 客座研究员 荣誉获奖 2017 第20届SBMF国际会议最佳论文奖(1st Place) 2016 黄廷方-信和青年杰出学者奖 2015 第9届TASE国际会议最佳论文奖 2014 中国工商银行优秀教师奖 2014 北京大学优秀班主任 2004 第十届AMAST国际会议...
孙猛教授,1962年,进入北京大学创办不久的古典文献专业学习,打下扎实的文献基础。1979年,考取复旦大学中文系古典文献学专业硕士研究生,师从徐鹏教授,与我为先后同学。1984年到深圳大学任教,1987年应聘到日本工作。1990年代始,任教于早稻田大学法学研究院。...
在近年来的文献学研究中,孙猛教授的新作《日本国见在书目录详考》(简称《详考》)如一股春风,唤醒了学界对日本国汉籍研究的兴趣。这部横跨古典文献学与域外汉籍研究的巨著,无疑将对中日文献交流和研究产生深远的影响。 孙猛教授自1962年进入北京大学古典文献专业后,扎实的文献基础使得他在学术界的探索充满信心。197...
孙猛北京大学 王竟亦浙江大学 卜磊南京大学 李福亮东北大学 论坛主席 张鹏 西安交通大学计算机学院教授/博导 CCF高级会员。2013年博士毕业于清华大学计算机科学与技术系,2009年于香港中文大学,2011年-2012年于耶鲁大学访问研究。主要研究方向为网络验证、软件定义网络、网络安全。在ACM SIGCOMM、USENIX NSDI、ACM CoNEXT、IEE...
北京大学数学科学学院信息与计算科学系教授/博导 CCF形式化方法专委会委员,中国工业与应用数学学会区块链专委会常务委员。分别于1999年和2005年获得北京大学应用数学学士和博士学位。2005年至2006年,在新加坡国立大学从事博士后研究,2006年至2010年在荷兰CWI担任研究员。2010年加入北京大学数学科学学院任助理教授,2017年任...
孙猛教授自1962年进入北京大学古典文献专业学习以来,便开始了他在文献学研究的漫长旅程。在1979年完成硕士学位后,他赴日从教,历时近三十年。这个阶段的积累,为他后来的研究打下了坚实的基础。《详考》无疑是他这一生心血的结晶,由《本文篇》、《考证篇》、《研究篇》、《资料篇》四个部分组成。在这部作品中,...