侯铁，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

初审：田智康

审核：李晓峰

终审：王少华