![]() |
S. 50, Ph.D. 77 (Manchester), matematiikan apulaisprofessori/professori 83-, matematiikan laitoksen varaesimies 98-03, esimies 99/00, matematiikan ja tilastotieteen laitoksen johtaja 04-06, matemaattis-luonnontieteellisen tiedekunnan tiedekuntaneuvoston jäsen 98-00 ja 04-06, varajäsen 01-03, 08-09, matematiikan laitoksen johtoryhmän jäsen 98-06, konsistorin jäsen 04-06, varadekaani 08-, Suomalaisen tiedeakatemian jäsen 02-. Ernst Lindelöf palkinto 73, August Ramsay palkinto 82, Opetusteknologiapalkinto 99. Treasurer of the European Mathematical Society (EMS) Chairman of the Committee of Logic in Europe of the Association for Symbolic Logic |
