信息:

资源

理查德DeFrancisco

助理教授

理查德DeFrancisco

助理教授

学术任命(s)

计算机与网络科学行政学系

计算机与网络科学学院计算机与网络科学系

生物

计算机科学助理教授，在石溪大学师从Scott A. Smolka获得博士学位。他的论文题目是基于gpu的Swarm Verification。

  • (706) 729 - 2774
  • 沃尔顿路2500号，UH-101
  • 个人网站

教育

  • 计算机科学博士纽约州立大学石溪分校，2019年

  • 计算机科学学士新泽西大学，2010年

最近一学年开设的课程

  • 去找找CSCI 1301

    1 .薪酬计划原则

教学兴趣

数据结构，形式化方法，并发性

奖学金

近期刊物选集

  • 基于GPU的群模型检验，2020，学术期刊
  • 基于GPU的群模型检测，2019年会论文集
  • 集群模型在GPU上的检验，2019其他
  • 一种gpgpu -并行自旋模型检查器，2014，会议论文集

研究兴趣

形式化方法，GPGPU，并发，网络物理系统

大学服务

  • 学术网络监督委员会2023年至今

    角色:委员会主席

  • 本科课程及课程委员会2022年至今

    角色:委员会成员

  • ABET评审委员会2022年至今

    角色:委员会成员

  • ACM国际大学生编程竞赛2023 - 2023

    角色:教师的导师

专业的服务

  • 第18届综合形式化方法国际会议（iFM 2023）2023 - 2023

    角色:委员会成员

  • 2022 SPIN模型检测软件国际研讨会2022 - 2022

    角色:委员会成员