报告题目：Membrane Computing for Programmers

报告时间：2023年6月9日16点30分

腾讯会议：663 159 460

报告简介：

本讲座从非传统的角度介绍膜计算领域。它将焦点从理论方面转移到中级程序员的观点，并集中于经典计算机模型和膜计算之间的架构差异。以回顾如何将高级语言编译为当前计算机体系结构的机器码开始。然后我们展示汇编/机器代码如何对应于抽象机器(冯·诺伊曼和图灵)。接下来，介绍典型的非常规计算模型(包括膜计算)所提供的差异，并建立了具体的膜计算体系结构，还提供了一些用于指定膜计算程序的“编程”语言的示例。最后，讨论该领域的几个典型应用。

报告人简介：

Serghei Verlan教授于2004年在法国Metz大学获得计算机科学博士学位，他于2010年在巴黎第十二大学获得计算机科学特许任教资格。他目前是巴黎巴黎第十二大学的全职教授，其主要研究方向为理论计算机科学和自然计算。他擅长形式语言理论、DNA计算、膜计算、生物系统建模和硬件设计。他对通用性问题特别感兴趣，并提供了几个通用性结构，这些结构对于相应的类来说是已知的最小的。他还提出了P系统的正式框架，该框架允许解释、比较和扩展P系统的不同变体。他在科学期刊和国际会议论文集上发表了100多篇文章，他编辑了6期期刊特刊，并为13本书撰写章节。