 | 中国科学院软件研究所计算机科学开放研究实验室始建于1993年,1994年12月正式纳入中国科学院开放实验室轨道运行。2001年11月,根据中国科学院有关文件的精神,改称“中国科学院计算机科学重点实验室”。2002年全国信息科学重点实验室评估中,计算机科学实验室被评为优秀类实验室;2005年,实验室通过国家科技部组织的建设计划论证,开始建设国家重点实验室。2007年,实验室通过国家科技部组织的国家重点实验室建设验收,正式成为国家重点实验室。截止2013年底,实验室固定人员88人,其中,研究员41人,副研究员30人,中国科学院院士3名,第三世界科学院院士1名,获得国家杰出青年基金资助3人,入选中国科学院“百人计划”7人。现任实验室主任为李明树研究员,学术委员会主任为林惠民院士。2004年至2010年,实验室从事软件形式化方法研究的中青年科研骨干获得国家自然科学基金委员会“创新研究群体”持续资助。2006年,实验室被中国科学院北京分院批准为首批中国科学院创建“三优”科技创新团队。实验室积极开展与国内外同行的实质性合作,推动各种形式的学术交流,与本领域的许多国际重要科研单位建立了稳定的合作关系。为了促进我国计算机科学领域的基础研究发展,1996年,实验室开始设立开放课题基金,资助国内外同行与实验室进行合作研究。
实验室的目标定位是:面向国家战略需求,瞄准国际学科前沿,针对国民经济、社会发展及国家安全的重大科技问题,开展计算机科学与软件领域的基础和应用基础研究,取得国际一流的基础理论和技术创新成果;到2020年,将实验室建设成国际影响力大的计算机科学与软件研究机构,培养一支国际竞争力强的研究队伍。
|
 | 南京大学是一所源远流长的高等学府。追溯学脉古为源自三国吴永安元年的南京太学,近代校史肇始于1902年筹办的三江师范学堂,历经多次变迁,1949年“国立中央大学”易名“国立南京大学”,翌年径称“南京大学”,沿用至今。
南京大学是教育部与江苏省共建的全国重点大学,国家首批“211工程”、“985工程”高校,首批“珠峰计划”、“111计划”、“2011计划”、“卓越计划”实施高校,也是九校联盟、世界大学联盟、环太平洋大学联盟、21世纪学术联盟的重要成员和东亚研究型大学协会高校。
截至2014年12月,南京大学有鼓楼、浦口、仙林三个校区,28个直属院系,各类学生总计31304人。全校设本科专业86个,硕士学位授权一级学科18个,博士学位授权一级学科40个,博士后流动站38个,国家级人才培养基地13个;有一级学科国家重点学科8个,二级学科国家重点学科13个,国家重点(培育)学科6个;有国家实验室(筹)1个,国家重点实验室7个,教育部重点实验室8个,国家工程技术研究中心1个,国家级“2011协同创新中心”2个,教育部人文社会科学重点研究基地4个。
南京大学是哈佛大学白碧德主义影响下的中国“学衡派”的雅集地,被誉为“中国科学社的大本营和科学发展的主要基地”,被杨振宁称赞为“中国最顶尖的大学”。南京大学是国家“985工程”首批九所高水平大学中唯一未合并其他院校的高校,坚持“内涵发展”,保持“原汁原味”办学优势与特色,赢得社会“中国最温和的大学”的美誉。
|
 | 北京交通大学(Beijing Jiaotong University)位于中国首都,政治、文化、科教中心北京,是教育部直属,由教育部、中国铁路总公司、北京市共建的全国重点大学,是国家“211工程”、“985工程优势学科创新平台”、“2011计划”、“111计划”、“卓越工程师教育培养计划”项目建设高校。学校的“2011计划”、“轨道交通安全协同创新中心”是国家首批14个认定的协同创新中心之一,学校是国家建设高水平大学公派研究生项目签约高校,是具有研究生院的首批博士、硕士学位授予权高校。
北京交通大学为中国最早兴办的高等学府之一,历史渊源追溯到1896年,前身是1909年9月清政府在北平创办的邮传部铁路管理传习所,是中国电信工程、交通工程和管理学教育的策源地。1921年合并组建交通大学,曾先后定名“交通大学北京学校”、“北京交通大学”、“国立交通大学”、“国立北平铁道管理学院”、“中国交通大学”、“北京铁道学院”、“北方交通大学”。
截至2014年12月,学校有在校本科生13690余人,博士研究生2593人,硕士研究生7727人,在职专业学位研究生8052余人,成人学生8324人。有教职工2952人,其中专任教师1790人,中国科学院院士4名,中国工程院院士8名。拥有教学、科研仪器设备资产10.6亿元,图书馆纸本藏书、电子图书、网络资源等总量793.85万余册。
|
 | 国防科技大学(National University of Defense Technology)简称国防科技大,是中华人民共和国中央军事委员会直属的一所涵盖理学、工学、军事学、管理学、经济学、哲学、文学、教育学、法学、历史学等十大学科门类的综合性全国重点大学,是国家首批“211工程”、“985工程”、军队“2110工程”重点建设院校之一,入选“2011计划”、“卓越工程师教育培养计划”,由国防部、教育部双重领导,副大军区级编制。
学校前身是1953年创建于黑龙江省哈尔滨市的军事工程学院,简称“哈军工”,从50年代初建校到现在,学校一直是国家和军队重点建设的院校。学校是第一个五年计划国家156项重点建设工程之一,是中共中央1959年确定的全国20所重点大学之一,是国务院首批批准有权授予硕士、博士学位的院校,是全国首批试办研究生院的22所高校之一,是“七五”、“八五”期间国家重点投资建设的重点院校。1970年学校主体南迁长沙,更名为长沙工学院,1978年改建为国防科学技术大学。
截止2014年5月,学校在读学生14000余人,其中本科生8400余人,研究生5600余人。
|