He emigrated to the USA in 1978.
He is well known for his work in: randomness in computing; algorithmic complexity and intractability; foundations of mathematics and computer science; algorithmic probability; theory of computation; and information theory.
His life is described in a chapter in the book: Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists.
External links: