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