Simon Thompson
Simon Thompson是一位在肯特大学计算实验室工作的逻辑和计算学教授，他教授本科生和研究生的计算学课程已经有25年了，而且6年前他成为了计算机系的部门负责人。他的研究工作主要集中在函数式编程：程序验证、类型系统以及最近关于函数编程语言方面的软件开发工具的开发。他的团队已经开发出了关于Haskell语言的重构工具HaRe，现在他们正在开发类似的关于Erlang语言的重构工具Wrangler。
很多机构（包括自然科学基金委员会和欧洲框架计划组织）都资助Simon的研究工作。他拥有剑桥大学的数学硕士学位和牛津大学的数理逻辑博士学位。他在感兴趣的领域著有3本书：《Type Theory and Functional Programming》、《Miranda: The Craft of Functional Programming》和《Haskell: The Craft of Functional Programming》（Second Edition），这3本书已由Addison - Wesley出版社出版。
很多机构（包括自然科学基金委员会和欧洲框架计划组织）都资助Simon的研究工作。他拥有剑桥大学的数学硕士学位和牛津大学的数理逻辑博士学位。他在感兴趣的领域著有3本书：《Type Theory and Functional Programming》、《Miranda: The Craft of Functional Programming》和《Haskell: The Craft of Functional Programming》（Second Edition），这3本书已由Addison - Wesley出版社出版。
|
© 2024，奥莱利技术咨询(北京)有限公司。版权所有。 传真: +86-10-88097463 京ICP备05003502号 |
|