9月7日，中科院外国专家特聘研究员、瑞典皇家理工学院Axel Jantsch教授到中国科学院深圳先进技术研究院作了题为ForSyDe: A Formal Framework for Heterogeneous Models of Computation 的学术讲座。

本次讲座主要介绍了ForSyDe（Formal System Design）。ForSyDe是一个对异构系统进行建模的形式化框架，能够融合无时间(Untimed）、同步（Synchronous）、离散（Discrete）及连续（Continuous）等多种计算模型。该形式化框架有利于设计者在更高的抽象（Abstraction）层次进行系统设计，并通过设计精化（Refinement）来桥接不同抽象层次之间的鸿沟。ForSyDe已在Haskell和SystemC上实现，同时提供了给VHDL使用的后端以及与ModelSim、Simulink、软件/硬件在环协同仿真的框架。

本次讲座吸引了众多研究人员和学生的参与，为研究人员带来了嵌入式领域的前沿技术，拓展研究视野，大家受益匪浅。讲座之后，Axel Jantsch教授与研究人员和学生进行了广泛深入的交流。

Axel Jantsch是中科院外国专家特聘研究员、中国科学院深圳先进技术研究院嵌入式软件系统研究中心访问教授。他于1992年获奥地利维也纳技术大学（Technische Universität Wien）计算机学博士学位。现任瑞典皇家理工学院（Royal Institute of Technology, KTH）教授。Axel Jantsch教授已经在国际会议和期刊上发表超过200篇学术论文，并出版个人专著1部。曾担任FDL, DATE, CODES+ISSS, SOC和NOCS等多个国际担任会议技术程序委员会委员、SSDL/FDL会议技术程序委员会主席、CODES+ISSS会议技术程序委员会共同主席、CODES+ISSS会议大会主席及NOCS会议技术程序委员会共同主席。2002年到2007年，Axel Jantsch教授担任Journal of System Architecture期刊的主题编辑。他还曾受邀参加100多次演讲、研讨会、主题演讲等。

在瑞典皇家理工学院，Axel Jantsch教授在系统建模（System Modeling）和网络化芯片（Networks on Chip）两个领域承担和参与了多个瑞典国家级及欧洲重大研究项目。Axel Jantsch教授在学术界和工业界均有丰富的科研经验，在嵌入式系统、网络化芯片、超大规模集成电路和系统芯片设计、硬件/软件协同设计、建模的概念和语言、设计方法学、系统综合与验证等领域有杰出的贡献。