创立Safelogic,利用资源有界自动定理证明的思想对集成电路设计进行分析和验证。哥德堡大学哲学、语言学和科学理论系副教授,查尔姆斯理工大学应用信息技术系副教授。
1996年获哥德堡大学哲学系逻辑学博士学位。1997- 1998年在乌得勒支大学哲学系从事博士后研究。