欢迎来到BU编程和验证原则澳门威尼斯人注册网站研究小组。

活动

我们每周举办一次编程和验证原则研讨会。你可以在这里订阅POPV邮件列表。

如果您有兴趣在研讨会上发言，请与主办单位联系Ugur Yavuz, Ankush Das，或者Marco Gaboardi．

 

澳门威尼斯人注册网站:

学生:

过去的成员:

    • 张成（2024博士）
    • 威廉·布莱尔（2023年博士）
    • 刘佳文（2023博士）
    • Arthur Azevedo de Amorim（博士后2023）
    • 瞿伟豪（博士）
    • Mark Lemay（博士）