During the week of Oct 6, Computational Logic Lab will host a distinguished visitor, Professor Vladimir Uspensky, a Russian mathematician, head of the department of mathematical logic and theory of algorithms of Moscow State University.

(Professor Uspensky "inherited" the chairmanship of this department from his teacher - the famous Kolmogorov).

Professor Uspensky's main contributions are in the fields of

November 27th, 2000 was the 70th anniversary of Professor Uspensky. If you want to learn about a more personal side of this remarkable scientist, you may look at the following page


where anniversary greetings from people like Herbert Enderton, Solomon Feferman, Johan van Benthem, Leonid Levin, Grigori Mints, Vladimir Lifschitz,Michael Taitslin, Sergei Adian, Sergei Artemov are posted.

Professor Uspensky will give 2 lectures:

Tuesday Oct 7, 10:30-11:30, ASB 9896,
Title: Four Algorithmic Faces of Randomness.

Thursday Oct 9, 1:30-2:30, ASB 9705,
Title: Algorithmic Roots of G\"odel Incompleteness Theorem.