Per MartinLöf Mathematician
Per Erik Rutger MartinLöf (born 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, MartinLöf's publications have been mainly in logic. In philosophical logic, MartinLöf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, MartinLöf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; MartinLöf's work on type theory has influenced computer science. Per MartinLöf holds a joint chair for Mathematics and Philosophy at Stockholm University. His brother Anders MartinLöf is now emeritus professor of mathematical statistics at Stockholm University; the two brothers have collaborated in research in probability and statistics. The research of Anders and Per MartinLöf has influenced statistical theory, especially regarding exponential families, the expectationmaximization method for missing data, and model selection.
Personal details
Date of birth 

May 8th, 1942 
Nationality 
Sweden 
Education
1. Stockholm University Colleges/University
Stockholm University (Swedish: Stockholms universitet) is a state university in Stockholm, Sweden. It has over 36,000 students at four faculties, making it one of the largest universities in Scandinavia. The institution is also frequently regarded as one of the top 100 universities in the world. Stockholm University was granted university status in 1960 and is therefore the fourth oldest Swedish university.
Type  Public university 

Institution colors 

Founded 
1878

Headquarters 
Undergraduates 
2013.
50,000


Postgraduates 
2013.
1,800
2011.
1,919

Official web page  www.su.se 

Wikipedia article 
Institution social analysis
People attended Stockholm University connected by profession and/or age
Wikipedia
Check Per MartinLöf on wikipedia.