Johan van Benthem

Johan van Benthem is a Professor at the University of Amsterdam's Faculty of Science, Department of Mathematics and Computer Science, and holds concurrent appointments as Full Professor of Philosophy at Stanford University (2005–present) and University Professor of Logic at the University of Amsterdam (2003–present). His career includes prior roles at ZhongShan University (2005–), CSLI Stanford (2002–), and professorships at Groningen and Amsterdam spanning 1972–2005.

His research centers on Logic, specializing in Model Theory and Modal Logic, with transformative applications across Philosophy, Linguistics, Computer Science, and Cognitive Science. This interdisciplinary approach bridges formal systems with human cognition, influencing AI, natural language processing, and philosophical semantics.

Notable honors include:

• Spinoza Prize (1996), the Netherlands' highest scientific award
• Doctor honoris causa from Université de Liège (1998)
• University Professor title at Amsterdam (2003), a rare lifetime distinction
• Named professorships at Stanford (Henry Waldgrave Stuart, 2008) and Tsinghua (Weilun, 2008)
• Membership in Academia Europaea (1991) and Royal Dutch Academy of Sciences (1992)

His leadership in logic communities includes founding roles in the European Association for Logic, Language and Information (FoLLI), where he received its first Honorary Membership (2004). While specific grants and student advisees aren't detailed here, his work has driven major collaborative projects in computational logic across Europe and Asia.