帕特里克·詹森
链接：官方工作页,推荐使用谷歌学术引用,github,ACM作者简介,ACM成员,CiteSeerX公司,LinkedIn链接,脸谱网,谷歌+,推特。我是计算机科学教授功能编程部,在CSE部门,查尔默斯理工大学和哥德堡大学，瑞典。我也是CSE部门的副主管。我的研究领域是软件技术，我专攻通用编程、功能编程和程序验证。与此同时，我花了几年时间建立了一个多学科社区和研究议程打电话“全球系统科学“与经济学、气候变化、，风险和抵御能力等（除了计算机科学和数学）。
你想和我们一起工作吗？检查部门空缺第页。
你想在这里学习计算机科学吗？我们的应用程序理学硕士计划欢迎每年11月至1月中旬。对于欧洲学生来说，伊拉斯谟交换的申请是可能会贯穿整个学年。（请参见在这里详细信息。）
已经在这里学习了吗？FP小组正在寻找优秀的理科硕士有兴趣做硕士论文项目的学生(一些项目构想).
研究兴趣
列出的论文(@查尔默斯和@谷歌学者。我的研究领域是软件技术，我专攻通用编程和程序验证。我当地的研究社区包括函数式编程
编程逻辑,语言技术和形式化方法。我是国际投资促进会工作算法语言和微积分2.1组。
我与这个波茨坦气候研究所影响研究（PIK）关于函数编程，泛型编程（使用Agda、Haskell和C++）、高级建模和电子科学。（联系人：尼古拉·博塔)
我参与了Chalmers eScience Initiative（Chalmers在2009年战略研究领域的应用之一），该项目后来成为Chalmers电子科学中心。
我（1995年）从多类型编程[帕斯文斯卡].我还从事过函数式编程；明确地"函数泛型编程-where类型理论满足函数编程"(多面体,通用Haskell, ...).我还参与过封面项目——组合软件开发的验证方法（Haskell+QuickCheck+FOL+Agda）。我写了一篇编译器对于语言扩展PolyP公司(哈斯克尔扩展为多型的功能）。
博士生
我是以下博士生的导师：
教学工作
我正在寻找有兴趣做硕士论文的优秀硕士生项目(一些项目构想)我是监督员或考官。（前提条件包括具有强大的函数式编程背景。）
- 数学领域特定语言: 2017, 2018
- 高级函数编程：2010、2011、2012、2013、2014、2015
- 类别理论与函数编程2010
- 计算机科学与工程五年制教育项目负责人（Civilingenjör Datateknik，Chalmers）：2011-2013年。
- 硕士论文项目：2009年7个，否则每年1-2个
- 2008-2010年IMPACT项目副项目负责人（改进Chalmers理学硕士课程的教学项目）
- 2007年IMPACT项目指导小组成员
- 教育部副部长：2005200620072008
- 程序验证：2006
- 本科生研究主任：200220032042005
- 数据库系统：01，00。
- 函数式多类型编程：00。
- 编程语言：01，00。
- Ada编程CS（GU）：98、97、，CSE（D1）:96、95、，工程原理（F1）：96，95。
- 哈斯克尔CSE（D1）:95、96。
如何联系我
家庭
杜德福尔öp朱莉娅·詹森、恩德雷·詹森。
