跳到主要内容
Arts & Sciences 计算机科学
  • 关于
    • 人
    • 事件日历
    • 方向
  • 新濠影汇线上赌场研究
    • 资助
    • 网络
    • 数据挖掘与数据管理
    • 机器学习
    • 视觉与图像
    • 算法与理论
    • 编程与验证
    • 安全
    • 系统
  • 大学肄业生
    • 学术项目
    • 课程
    • 学术顾问
  • Master’s
    • 招生
    • 计划的细节
    • 学生资源
  • 博士学位
    • 招生
    • 计划的细节
    • 学生资源
  • 参与
    • 招聘会和职业规划
    • UR2博士学位
    • CS新闻提示
    • 通讯
    • 回馈
  • 登记
  • 召开2025年
  • Instagram
  • 脸谱网
  • 推特
  • LinkedIn
  • YouTube
搜索

Programming & Verification

欢迎来到BU编程和验证原则新濠影汇线上赌场研究小组。

活动

We host a weekly 编程和验证原则研讨会. You can subscribe to the POPV mailing list 在这里. 

If you are interested in giving a talk at this seminar, please contact the organizer Ugur•, Ankush Das, or 马可Gaboardi.

新濠影汇赌场:

  • Ankush Das

    助理教授

  • 马可Gaboardi

    教授兼新濠影汇线上赌场研究生院主任

  • 艾瑟夫巴德Kfoury

    教授

  • 小巷斯托顿

    新濠影汇线上赌场研究教授

  • 宏伟ξ

    副教授

学生: 

  • 佐
    Zachery凯西

    博士生

  • 乾诚富

    博士生

  • 杰瑞德平卡斯

    博士生

  • JW
    6月奇迹

    博士生

  • Ugur•

    博士生

过去的成员:

    • 成张 博士(2024)
    • 威廉•布莱尔 博士(2023)
    • Jiawen刘  博士(2023)
    • 亚瑟·阿泽维多·德·阿莫林 (2023年博士后)
    • 瞿Weihao 博士(2022)
    • 马克勒梅 (博士)

Related to Programming & Verification

新濠影汇线上赌场研究

  • 资助
  • 网络
  • 数据挖掘与数据管理
  • 机器学习
  • 视觉与图像
  • 算法与理论
  • 编程与验证
  • 安全
  • 系统

最近的新闻

  • Evimaria Terzi and 博士学位 candidate Iasonas Nikolaou prepare to present new paper “Understanding Team Collapse via Probabilistic Graphical Models” at ACM SIGKDD 2025
  • 祝贺2025年新濠影汇线上赌场研究与教学优秀奖获得者
  • 波士顿大学学生在国际人工智能奥数竞赛中大放异彩
  • Vasia Kalavri获得了著名的NSF CAREER奖!
  • 加入艺术+计算迷你hack
波士顿大学 艺术与科学
计算机科学系
665 Commonwealth Avenue
Boston, MA 02215
  • Instagram
  • 脸谱网
  • 推特
  • LinkedIn
  • YouTube
© 波士顿大学. 版权所有。 www.bu.edu