Per Martin-Löf#


Per Martin-Löf
Membership Number:411
Membership type:ORDINARY
Section:PHILOSOPHY, THEOLOGY & RELIGIOUS STUDIES
Elected:1989
Main Country of Residence:SWEDEN
Homepage(s):http://www-ihpst.univ-paris1.fr/237,per_martin_lof.html





Present and Previous Positions

  • Chair for Mathematics and Philosophy at Stockholm University

Fields of Scholarship
  • Intuitionistic type theory
  • Random sequences
  • Exact tests
  • Repetitive structure
  • Sufficient statistics
  • Expectation maximization method
  • Type theory

Honours and Awards
  • Member of the Royal Swedish Academy of Sciences (1990)
  • Member of the Academia Europaea (1989)


Imprint Privacy policy « This page (revision-11) was last changed on Monday, 14. June 2021, 13:59 by Nowak Aleksandra
  • operated by