1、庆祝 Frits Vaandrager 的科研成就与过程代数的研究进展-优快云博客

本文链接：https://blog.youkuaiyun.com/nft7creator/article/details/152648940

庆祝 Frits Vaandrager 的科研成就与过程代数的研究进展

Frits Vaandrager 是一位充满激情的研究者，他在科研生涯中专注于多个领域。早期，他作为 Jan Bergstra 的博士生，在阿姆斯特丹数学与计算机科学中心从事进程代数领域的研究，与同事撰写了并发理论和操作语义方面的基础论文。博士毕业后，他前往麻省理工学院跟随 Nancy Lynch 研究 I/O 自动机。之后回到荷兰，最终成为奈梅亨的教授，致力于定时自动机的模型检查，并为著名的模型检查器 Uppaal 做出贡献。十多年前，他转向模型学习领域，成为该领域的奠基者之一。此外，他不仅有理论成果，在工业应用方面也取得了惊人的成功，如将模型学习应用于 TCP 协议和荷兰生物识别护照等。

为庆祝 Frits Vaandrager 的科研成就，相关文集收录了他（前）同事、博士生和合作研究者的贡献，展示了他广泛的研究兴趣以及科学界对他的高度认可。文集还组织了由所有贡献作者组成的程序委员会进行评审。