师资力量
当前位置:首页 >> 学院概况 >> 师资力量

侯铁

信息来源: 作者: 审核人: 发布日期:2019-12-24 浏览次数:

侯铁,1978年生,博士,讲师。

主要研究方向为数理逻辑、软件形式化、本体工程、数据分析。


学习工作经历:

1997-2001 东北师范大学(学士)

2004-2006 英国威尔士大学斯旺西(硕士)

2010-2014 英国斯旺西大学(博士)

2015-2016 英国布莱顿大学

2017-至今 山东建筑大学


主讲课程:

《数据库原理及应用》、《软件过程与管理》


主要主持及参与项目:

(1) 2019,山东省重点研发计划,基于图像质量分布预测与处理的现场掌纹自动识别系统,参与

(2) 2018,山东建筑大学博士科研基金,“Realizability式程序提取研究,主持

(3) 2015,英国工程和物理科学研究委员会,“Visual Justifications for Ontologies”,参与


发表论文:

(1) Ulrich Berger, Tie Hou: A realizability interpretation of Church's simple theory of types. Mathematical Structures in Computer Science 27(8): 1364-1385 (2017)

(2) Tie Hou, Peter Chapman, Andrew Blake: Antipattern Comprehension: An Empirical Evaluation. FOIS 2016: 211-224

(3) Tie Hou, Peter Chapman, Ian Oliver: Measuring perceived clutter in concept diagrams. VL/HCC 2016: 31-39

(4) Ulrich Berger, Tie Hou: Uniform Schemata for Proof Rules. CiE 2014: 53-62

(5) Ulrich Berger, Tie Hou: Typed vs. Untyped Realizability. Electr. Notes Theor. Comput. Sci. 286: 57-71 (2012)

(6) Ulrich Berger, Tie Hou: Coinduction for Exact Real Number Computation. Theory Comput. Syst. 43(3-4): 394-409 (2008)

(7) Tie Hou: Coinductive Proofs for Basic Real Computation. CiE 2006: 221-230



上一篇:刘新锋