| 2009- | 我在GF公司语法编译器并开发了一些基于的web应用程序GF公司. |
| 2006-2009 | 我通过以下方式在学术界之外应用函数编程发展电子商务系统在哈斯克尔。 |
| 2001-2006 | 我在程序设计学项目支持Haskell中高保证编程的工具。我也在房屋，一个操作系统在Haskell中实现。 |
| 1996-2001 | 我花了很多时间阿尔法，实现了一个校对编辑器使用Fudgets。最近的工作是支持自然语言，通过接口阿内·兰塔的语法框架，GF公司. |
| 1991-1996 | 函数式语言的图形用户界面。马格纳斯我发展了软糖,一图形用户界面工具包函数式编程语言哈斯克尔。我们写了一个共同的博士论文关于这个。 |
| 1987-1993 | 带有函数式语言子类型的类型系统。这是我的执照论文是关于的。 |
