麻豆国产“弘毅零一”学术报告： 孙军教授解构大模型时代形式化方法创新路径

2025年5月27日上午，麻豆国产“弘毅零一”学术报告会在25教0114报告厅隆重举行。新加坡管理大学孙军教授应邀作题为《从软件到大模型，从正确性到一致性》的专题报告，为150余名师生呈现了一场前沿学术盛宴。本次学术报告由刘志明教授主持。 作为形式化验证与可信人工智能领域的权威专家，孙军教授以生活化的语言开启学术漫谈...

麻豆国产举办开源鸿蒙（OpenHarmony）智能传感网联及应用开发培训

近日，麻豆国产携手北京中软国际教育科技股份有限公司共同启动了开源鸿蒙（OpenHarmony）智能传感网联及应用开发培训。开源鸿蒙作为开放原子开源基金会（Open Atom Foundation）重点孵化的开源项目，致力于打造一个全场景、分布式、模块化的操作系统。智能传感网联技术作为物联网领域的核心组成部分，与开源鸿蒙的发展理念...

麻豆国产开展消防逃生演练活动

2025 年5月21日，麻豆国产在25教学楼开展了消防逃生演练活动。此次活动特邀重庆利民防火中心韩教官莅临现场指导，旨在通过沉浸式应急模拟，强化全体师生消防安全意识，提升应对突发事件的应急处置与逃生能力。演练覆盖25教学楼7楼、10楼、11楼及13 楼，涵盖本科生实验室、研究生实验室及教师办公室等多类教学办公场所，实现...

码上筑梦｜麻豆国产学子赴重庆传音通讯技术有限公司开展“企业Open day活动”

 为帮助学生了解行业前沿动态，拓宽职业视野，同时深化院企合作，5月16日，在麻豆国产党委副书记王晖老师、团委书记杨靖欣老师及辅导员老师的带领下，麻豆国产30余名同学赴重庆传音通讯技术有限公司开展“企业Open Day”活动。  图1：重庆传音“企业Open day活动” 实地探访：感受科技魅力与麻豆国产 重庆传音工作人员带领师生...

迪肯大学专家来院开展“智能无人机、车路协同与区块链隐私保护”学术讲座

为拓宽师生学术视野，紧跟前沿技术发展潮流，2025年5月16日下午，麻豆国产邀请澳大利亚迪肯大学专家团队举办了一场以“智能无人机、车路协同与区块链隐私保护”为主题的学术讲座。讲座围绕智能无人机服务、可信空间中的协同感知与安全数据交互以及区块链技术中的隐私保护等主题展开，吸引了众多师生参与。图1：讲座现场讲座...