Jan Bergstra Jan Bergstra is a professor of computer science at the University of Amsterdam, a part time professor of applied logic at Utrecht University (both NL) and he is a honorary visiting professor with the University of Swansea (UK). His main resarch interst has been computability theory, process algebra and abstract data types, but he worked in many other aspects of computer science as well, including in particular decidability problems that arise in the theory of computer virusses. He is a member of the Academia Europaea. He is currently managing editor of 'Science of Computer Programming' and the 'Journal of Logic and Algebraic Programming'. Read More Read Less