马克·琼斯

马克·琼斯


教授兼主席

计算机科学-工程与计算机科学,马西学院

办公室
传真120-20
电话
(503) 725-3206
电子邮件

Mark Jones博士是波特兰州立大学Maseeh工程与计算机科学学院的计算机科学教授兼主席。他的主要研究兴趣与编程语言的设计、实现和应用有关。最近,他的工作重点是编程语言和形式化方法在高保证、低层软件系统的开发、评估和分析中的作用。琼斯博士尤其以其对函数式编程语言Haskell的贡献而闻名,包括关键类型系统功能的设计,以及Hugs的最初实现,Hugs是一种早期的Haskell-解释器,广泛用于教学和研究。他是1993年英国计算机学会杰出论文竞赛的获胜者。Jones博士拥有英国牛津大学数学学士学位(荣誉,一级),计算硕士学位和菲尔博士学位。

研究兴趣和专业知识

  • 编程语言的设计、实现和应用

教授的课程

教育类
  • 理学硕士。
    牛津大学
  • 文学学士(荣誉)
    牛津大学
  • D.菲尔。
    牛津大学