Prof.dr. Albert Visser studied applied mathematics at the University of Twente and mathematics at the University of Utrecht. In 1981 he took his Ph.D. on a thesis on Aspects of Diagonalization and Provability (supervisor Prof.dr. D. van Dalen). He was assistant professor at Stanford University and Utrecht University and is now Professor of Logic, the Philosophy of Mathematics and Epistemology at Utrecht University.
His research centers on arithmetical theories, interpretability, constructivism, foundations of mathematics and topics in the philosophy of language.
Albert Visser is a member of the Royal Netherlands Academy of Arts and Sciences. He is member of the editorial board of the Notre Dame Journal of Formal Logic. He served in various committees of the Association of Symbolic Logic.
http://www.phil.uu.nl/onderzoek/theoretical.shtml