数学家,math.LO /数学。目前CT, (Universitetslektor)副教授斯德哥尔摩大学。主要工作范畴逻辑,特别是同伦类型理论和更高的类别。

以前在高级研究学院普林斯顿大学;达尔豪斯大学哈利法克斯新斯科舍;和卡内基梅隆大学匹兹堡。