Founder of algorithmic probability theory & universal theory of inductive inference. First to encounter the concept of Kolmogorov complexity, and first to prove the celebrated invariance theorem. Visiting professor at IDSIA in Fall 2001. Picture taken in Bioggio, Switzerland, 1 April 2001. Click to enlarge.