Professorship for Yde Venema

Yde Venema was recently appointed full professor in Logic, in particular Mathematical Logic and Foundations of Computer Science. He is the successor of Jouko Väänänen who is partially affiliated with the ILLC as of August 1, 2009.

Yde is and will remain programme leader of the Logic&Computation group. He will accept his appointment publicly in September.

For more information, see http://www.science.uva.nl/~yde/