报告人
Hongfei Fu Shanghai Jiao Tong University 时间 2025年5月20日 星期二 下午 14:00-15:00 地点
102报告厅
Abstract In this talk, I will have a walkthrough on my academic contributions, including probabilistic programming theory, invariant generation and the verification of formal models. For probabilistic programming, I will talk about the theoretical frameworks of martingale theory and fixed point theory, and the formal analysis of probabilistic recurrences and Bayesian probabilistic programs. For invariant generation, I will talk about efficient and accurate invariant generation methods. For the verification of formal models, I will talk about the decidability, complexity and algorithmic aspects.
Biography Dr. Hongfei Fu got his PhD at RWTH Aachen University. He is currently an associate professor at Shanghai Jiao Tong University. His main research interest lies at formal verification and programming language theory. He has published more than 30 papers in fundamental theoretical aspects. Most of his publications are at renowned conferences and journals such as POPL, PLDI, CAV, TOPLAS, etc. He has also contributed a book chapter in probabilistic programming published by Cambridge University Press. His major academic contributions include theoretical foundation for probabilistic programming, invariant generation, and computability of formal models.
