Professor Johan F.A.K. van Benthem (1949) has been University Professor at the University of Amsterdam (UvA) since 1 September 2003, with research which focuses on logic and its applications in linguistics, philosophy, computer science and cognitive science.