Anders Martin-Löf

URI: https://gptkb.org/entity/Anders_Martin-Löf
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Stockholm_University
gptkbp:awardReceived gptkb:Göran_Gustafsson_Prize
gptkbp:birthDate 1940-03-16
gptkbp:birthPlace gptkb:Stockholm
gptkbp:doctoralAdvisor gptkb:Harald_Cramér
gptkbp:field gptkb:mathematics
statistics
gptkbp:hasSibling gptkb:Per_Martin-Löf
https://www.w3.org/2000/01/rdf-schema#label Anders Martin-Löf
gptkbp:knownFor gptkb:Martin-Löf_type_theory
gptkb:Martin-Löf_randomness
gptkbp:memberOf gptkb:Royal_Swedish_Academy_of_Sciences
gptkbp:nationality Swedish
gptkbp:occupation gptkb:mathematician
gptkb:statistician
gptkbp:bfsParent gptkb:Per_Martin-Löf
gptkbp:bfsLayer 5