讲座时间：2026年4月29日（周三）下午14:30

讲座地点：行政楼一楼第一会议室

主讲人：Sergey Verlan教授

专家简介：Serghei Verlan教授是国际理论计算机科学和自然计算领域的知名学者。他于2004年在法国Metz大学获得博士学位，并于2010年在巴黎第十二大学获得计算机科学特许任教资格，现为法国巴黎东大学（UPEC，原巴黎第十二大学）的全职教授，长期专注于形式语言理论、膜计算、DNA计算及生物启发式计算模型的研究，特别是在计算通用性理论方面，他构建了多个对应计算类别中最小的通用性结构，贡献卓著。他所提出的P系统形式化框架，为统一解释、比较和扩展各类P系统变体奠定了重要基础。

主讲题目：Introduction to hardware circuit design using FPGA/基于FPGA的硬件电路设计入门

主讲内容：现场可编程门阵列（Field Programmable Gate Array, FPGA），本质上是计算世界中的“变色龙”。与处理器（CPU）或显卡（GPU）这类由制造商固定内部电路的标准芯片不同，用户可以在FPGA制造完成后对其内部的逻辑门连接进行重新配置。FPGA兼具硬件的性能与软件的灵活性。当你需要量身定制的解决方案，却又不想制造专门的芯片时，它就是最理想的选择。

本次演讲旨在带领初学者走进现场可编程门阵列（FPGA）的世界，为该领域的初学者设计，揭开FPGA设计基础原理的神秘面纱。探讨基本概念、工作流程，并结合实际案例帮助理解如何利用FPGA进行数字设计。此外，还将介绍一些与设计形式化规范相关的较复杂概念，并简要讨论FPGA在科研中的应用。

。