新闻动态-高可信软件技术教育部重点实验室(北京大学)

关于

新闻动态

首页 >> 新闻动态

胡振江教授团队助力仓颉编程语言发展携手华为深耕国产基础软件研究

2024年6月21日，在华为开发者大会（HDC）上，华为发布了一款全新的编程语言—仓颉。仓颉编程语言是一款面向全场景智能的新一代编程语言，主打原生智能化、天生全场景、高性能、强安全。早在2019年，由北京大学计算机学院院长胡振江教授带领的北京大...

2024-06-28

工业物联泛在操作系统联合实验室揭牌仪式暨第一次技术研讨会

2024年6月14日下午，由杭州电子科技大学离散行业工业互联网浙江省重点实验室（以下简称工业互联网实验室）与北京大学高可信软件技术教育部重点实验室（以下简称高可信软件实验室）共建的工业物联泛在操作系统联合实验室揭牌仪式暨第一次技术研讨会在杭州电...

2024-06-21

重点实验室组队积极参加乒乓球联谊赛取得优异成绩

2024年5月5日，经过北京大学计算机学院赛事组委会精心筹备，第二届“PKUCS校友杯”乒乓球联谊赛在邱德拔体育馆圆满落幕。来自全国各地、涉足各行各业的40多名北大计算机学院（包括前计算机系）校友们齐聚燕园，共同挥洒汗水，以乒乓球运动为纽带，追忆青春...

2024-05-30

梅宏、谢冰、郭耀教授等出席北京大学与贵州习酒共建“酱酒行业数字化转型联合实验...

2024年5月10日，北京大学与贵州习酒共建“酱酒行业数字化转型联合实验室”签约暨揭牌仪式在贵州省习水县习酒运营中心圆满举行。中国科学院院士、北京大学教授梅宏，贵州省大数据发展管理局局长景亚萍，习酒集团党委副书记、副董事长、副总经理汪地强，习...

2024-05-24

.胡振江、崔斌教授参加北京大学计算机学院走进北大科技园产学研合作沙龙活动

2024年4月26日上午，北京大学计算机学院走进北大科技园产学研合作沙龙在北大科技园北领讲堂举行。本次活动由北京大学计算机学院产学研合作办公室主办、北大科技园先锋·加速器协办，旨在促进校企交流前沿科技成果，探索产学研合作新路径，搭建学院与产业界...

2024-04-30

首页上页1...34567...76下页尾页