During the following 10 years he continued working with similar issues as "docent" in Uppsala and Stockholm. In the 1980s he changed to insurance mathematics with the Folksam company including development of theories for controlling movements of insurances. From 1987 he has been working with theoretical and applied aspects of his assignment as professor with the Stockholm University.[citation needed]
Martin-Löf has two children from his first marriage and a daughter from his second. Anders is the brother of Per Martin-Löf, who was responsible for a pioneering definition of randomness, as well as a foundation for constructive mathematics based on intuitionistic type theory. Per is also a professor at Stockholm University, with joint appointments in the departments of mathematics and philosophy. They share an interest in statistics, and in statistical mechanics, though Per has been more interested in the foundations of statistics, while Anders has been more interested in financial mathematics. Their elder brother Johan is also an engineering physicist, but more inclined to space technology.[citation needed]