张楠，男，1979 年4 月，毕业于中国山东大学计算机科学系，英国伯明翰大学计算机科学系高级计算机科学硕士、计算机科学专业博士。研究方向是使用一阶逻辑的方法分析验证安全系统控制策略。数篇论文在领先的国际会议上被发表，主要从事分布式系统和并行计算方面的研究工作。曾供职于中国北京数超软件开发有限公司、英国伯明翰大学计算机科学学院、英国伯明翰大学机械工程系。
