P. Jansson was the advisor of N A Danielsson until his PhD in 2007.
PhD thesis: "Functional Program Correctness Through Types"