Joel D. Hamkins visiting ILLC

From June 1 to August 31, 2005, Prof Dr Joel D. Hamkins will be visiting the ILLC. He is a Full Professor of Mathematics and Computer Science at the City University of New York and his visit is funded by the NWO in the project "The Modal Logic of Forcing" (DN 62-612; CN 2005/02452/IB).

Professor Hamkins is one of the inventors of Infinite Time Turing Machines and has given an invited plenary talk on them at the conference CiE 2005 (June 9). Here at the ILLC, he will be working mainly with Benedikt Löwe on the modal logic of forcing and Infinite Time Turing Machines, but is open to all other research projects involving set theory in particular and mathematical logic in general. He has already given a presentation at the Colloquium on Mathematical Logic (June 3) and will also give a talk at the Logic Tea on June 28 (in connection with the workshop C at lculus). In addition to that, Professor Hamkins is teaching a short project course entitled "Surreal Numbers".

His office is P.316 (extension 5298).