Per Martin-Löf#
Membership Number: | 411 |
Membership type: | ORDINARY |
Section: | PHILOSOPHY, THEOLOGY & RELIGIOUS STUDIES |
Elected: | 1989 |
Main Country of Residence: | SWEDEN |
Present and Previous Positions
- Chair for Mathematics and Philosophy at Stockholm University
Fields of Scholarship
- Repetitive structure
- Expectation maximization method
- Intuitionistic type theory
- Exact tests
- Sufficient statistics
- Random sequences
- Type theory
Honours and Awards
- 1990 Member of the Royal Swedish Academy of Sciences
- 1989 Member of the Academia Europaea