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: