哈雷筒子,
副教授
学术任命(s)
计算机科学系行政学系
计算机与网络科学学院计算机科学系
研究生院
研究生院行政部
- (706) 667 - 4543
- 啊N123
- 个人网站
教育
-
计算机科学博士爱荷华大学，2014年
-
计算机科学硕士爱荷华大学，2012年
-
学士学位，应用数学，通用。米利金大学，2009年
-
计算机科学学士米利金大学，2009年
最近一学年开设的课程
-
去找找CSCI 8940
论文研究
-
”3620年
人机交互
-
去找找CSCI 3300
编程语言概念
-
去找找CSCI 4990
大学生的研究
教学兴趣
离散数学，计算理论，编程语言的概念
奖学金
近期刊物选集
- 解释类型错误，2018摘要
- 子结构逻辑与相关类型理论结合的新课题介绍，2017摘要
- 兰贝克微积分的辩证法范畴，2017
- 建设性时间逻辑，《分类》，2017年《学术期刊》
- 论交换、弱化和收缩的线性模式，2016
研究兴趣
理论计算机科学，计算机科学中的逻辑，程序设计语言基础，范畴逻辑
