Jan Bergstra: From computability theory to computer science and back


Event Details


I will discuss the sequence of themes which I have been researching since 1973, and try to highlight how research questions have come, and gone and reappeared. I will provide concise phrasings of leading principles which I have made use of in successive stages, and how and why these have changed. Finally I will discuss how the context of research changes (for the better) upon my “emeritaat”, now 3 years ago.