Андерс Мартин-Лёф (родился 16 марта 1940 года) [ нужна ссылка ] — шведский физик и математик . [ нужна ссылка ] Он является профессором страховой математики и математической статистики с 1987 года [ нужна ссылка ] на математическом факультете Стокгольмского университета . [1]
Мартин-Лёф получил степень бакалавра в Королевском технологическом институте KTH в Стокгольме и сдал экзамен по инженерной физике в 1963 году. Он продолжил обучение в аспирантуре по оптимизации в KTH и MIT в США с 1967 по 1968 год, а затем в 1970–1971 годах занимал должность научного сотрудника в Университете Рокфеллера в Нью-Йорке , где занимался теорией вероятностей и ее приложениями к статистической механике . [ требуется ссылка ] Вернувшись в KTH в Стокгольме [ требуется ссылка ] он получил степень доктора философии в 1973 году. [2]
В течение следующих 10 лет он продолжал работать над схожими проблемами в качестве «доцента» в Уппсале и Стокгольме. В 1980-х годах он перешел на страховую математику в компании Folksam , включая разработку теорий для управления движением страховок. С 1987 года он работал над теоретическими и прикладными аспектами своего назначения в качестве профессора в Стокгольмском университете. [ необходима цитата ]
У Мартина-Лёфа двое детей от первого брака и дочь от второго. Андерс — брат Пера Мартина-Лёфа , который дал новаторское определение случайности , а также заложил основу конструктивной математики на основе интуиционистской теории типов . Пер также является профессором Стокгольмского университета, занимая совместные должности на кафедрах математики и философии. Они разделяют интерес к статистике и статистической механике, хотя Пер больше интересуется основами статистики, а Андерс — финансовой математикой . Их старший брат Йохан также является инженером-физиком, но больше склоняется к космическим технологиям . [ требуется ссылка ]
Мартин-Лёф был однокурсником в KTH вместе с Олафом Калленбергом . [ необходима ссылка ]