SUFE`SCAI
邓玉欣
研究方向：并发计算模型、程序理论、量子计算
现任职务：上海财经大学计算机与人工智能学院教授
Q：请您简要介绍一下您主要研究兴趣。
主要研究兴趣是形式化语义理论，这是计算机科学中的一个分支，致力于用精确的数学模型为语言表达式提供一种明确且无歧义的解释方法，使得我们可以通过计算的方式理解和处理这些表达式的意义。
形式化语义理论可用于编程语言的设计与分析，帮助定义程序语言的语义，确保编写的代码按照预期工作。它也为形式化验证计算机软件和硬件系统的正确性提供理论支撑，通常应用在航空、航天、汽车、铁路、金融、医疗等行业，因为这些领域所用设备的控制软件对功能正确性有极高的要求，需要进行非常严格地验证。
Q：您近期主要研究工作有哪些呢？
近期的主要研究工作包括：
（1）针对经典-量子混合编程语言定义合适的形式化语义以方便验证量子程序的正确性，特别是基于量子霍尔逻辑，利用定理证明器对HHL算法、Shor算法等典型量子算法的正确性进行证明；
（2）量子电路的编译和优化技术，用软件的手段减缓硬件噪声造成的错误，以及针对分布式量子网络设计量子比特映射和调度算法。
—— 邓玉欣老师简介 ——
邓玉欣，上海财经大学计算机与人工智能学院教授、CCF杰出会员、形式化方法专委会常委委员。曾任上海市计算机学会理论专委会主任、华东师范大学软件工程学院教授及副院长、上海市高可信计算重点实验室主任、上海交通大学计算机系副教授、联合国教科文组织借调专家、美国卡内基梅隆大学访问学者。
主要研究方向包括并发计算模型、程序理论、量子计算，代表性工作包括一个已经被国外学者写进教科书的“邓引理”(Deng Lemma)和关于概率并发理论的一部英文专著《Semantics of Probabilistic Processes: An Operational Approach》。发表学术论文100余篇，多篇出现在国际权威期刊和会议如Information and Computation、Theoretical Computer Science、ICALP、LICS、POPL等。曾为CONCUR 2018作特邀报告。
担任国际期刊Theoretical Computer Science、Scientific Annuals of Computer Science编委，TASE 2016程序委员会共同主席，在40余次国际会议中任程序委员会委员，其中包括 CAV、LICS等。曾获2024年中国计算机学会自然科学二等奖、SETTA 2024最佳论文奖。
已出版1部教材《函数式程序设计》。
编审｜王晓
