我是一名教授,自2019年起担任计算机科学系在中玛西工程与计算机科学学院在波特兰州立大学位于美国俄勒冈州波特兰。我的PSU配置文件有更多的细节。
我的研究兴趣包括编程语言设计的各个方面,实现和应用。我对它的使用特别感兴趣低级系统的高级编程语言技术编程,以及在表达式类型的开发和应用中支持构造和安全可靠软件系统的认证。
[注意:在我目前担任部门主席的角色中,我专注于行政管理工作,没有太多时间进行研究。]
我是高弗和拥抱系统。人们仍然问我Timbot公司.我开设了一门关于语言与低级程序设计;我从那以后重新实现几个相关联的使用的实验室示例米托醇.