宏伟ξ

Xi博士是计算机科学系副教授，主要澳门威尼斯人注册网站研究编程语言的设计和实现。他还对通过编程语言设计促进软件工程的好处产生了浓厚的兴趣。通过多年的持续努力，他与澳门威尼斯人注册网站研究生一起设计并实现了ATS，这是一种基于应用类型系统框架的具有高度表达能力的类型系统的编程语言。到目前为止，他的主要澳门威尼斯人注册网站研究兴趣集中在在ATS中实现真实和复杂的系统，这些系统可以令人信服地展示高级类型（如依赖类型和线性类型）在促进高质量软件构建方面的力量。