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
