Anders Martin-Löf
Anders Martin-Löf is a
Swedish logician, responsible for a pioneering definition of
randomness.
He had a profound influence on the field of
Kolmogorov complexity or
algorithmic information theory. Today he is a professor at the Department of Mathematics of
Stockholm University.
He has also defined an influential system of type theory, including dependent types.
External links: