上海华科智谷人工智能研究院

上海华科智谷人工智能研究院，中国科学院院士何积丰任理事长兼院长。研究院引进智能科学、可信软件、智能信息处理等人工智能技术领域的成果池与资源库，由院士和专家团队领衔，旨在促进人工智能通用共性技术的研发并取得一批创新性应用研究成果，为智能产业及企业提供智能传感与信息融合、智能认知与智能计算、可信计算与自主决策等方向的技术产品和解决方案。

何积丰，中国科学院院士，著名计算机软件科学家，上海华科智谷人工智能研究院院长。现为同济大学特聘教授，华东师范大学终身教授、计算机科学与软件工程学院院长，中国科学院信息学部常委会副主任，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任。何积丰院士是国际程序统一设计理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术领军人物，其研究成果是保障人工智能应用安全可信的关键手段，是国家安全可信人工智能领域的开拓者。针对智能化工业基础软件和嵌入式智能软件的复杂性、正确性和可靠性等关键共性技术开展系统性研究，为保障轨道交通、航空航天、汽车电子等国家安全攸关领域与重大基础设施智能化应用的安全性提供了核心技术支撑。开创性提出可信人工智能原则，得到 G20全球领袖吸纳认可，对推进国家安全可信人工智能产业发展做出奠定性贡献。主要科学贡献包括：一是系统性研究工业软件程序语言语义理论，与图灵奖获得者HOARE教授共同开创程序统一理论学派，奠定软件语义元理论基础，被国际上公认为研究各类程序语言的准则；二是首次提出数据精化的“程序分解算子”与“上下仿真映照对”方法，创建数据精化完备理论，被国际计算机科学界誉为“面向模型软件开发的里程碑”；三是开拓基于模型的可信软件设计和安全可信人工智能理论与技术，推进可信软件与人工智能技术的融合创新。

同济中新智能安全应用联合研究所

同济中新智能安全应用联合研究所，是同济大学与华科智谷关联企业成立的“产学研用一体化”创新联合研究机构。依托同济大学交通与运输学院的技术和人才为科研基础，重点聚焦大数据、人工智能、可信安全等技术的研究，已形成针对网络安全中信息安全、功能安全、网络攻防、仿真靶场等技术服务能力。能承接军民融合项目及国家、省市、机构和企业委托的相关科研课题。

柔性智能研发实验室

柔性智能研发实验室是华科智谷与上海健松智能技术有限公司成立的联合实验室。核心目标是真对业内领先的智能视觉系统+高速并联协同机器人控制技术的研发与产业应用转化。实验室将通过人工智能算法、视觉识别算法、智能模块与智能柔性生产工艺融合应用，提供满足复杂环境下的智能制造解决方案，可自动化配合业务流程。

工业视觉研发实验室

工业视觉研发实验室。是由华科智谷与上海和谦图像技术有限公司联合成立的技术研发实验室。目标是通过和谦视觉在行业的应用积累与华科科研资源共同开发人工智能在图像识别领域的深度学习技术，以及展开行业应用与示范。实验室将结合最新的AI技术，以实现机器人辅助替代人，能够更好地服务客户为目标，开发出可以灵活地适应医院场景、商场场景、政企场景、车站交通场景、地产场景等服务场景中的智能服务机器人。