b. 1980
Jakub Szymanik is a contemporary logician and cognitive scientist working at the intersection of formal semantics, logic, and cognition. He is best known for his work on the computational complexity of generalized quantifiers and their cognitive processing, bridging mathematical logic with empirical psycholinguistics.
Pioneered research on the computational complexity of natural language quantifiers
Authored 'Quantifiers and Cognition: Logical and Computational Perspectives' (2016)
Developed experimental paradigms linking logical complexity to cognitive difficulty
Contributed to dynamic epistemic logic and game-theoretic semantics
Held research positions at the University of Amsterdam and University of Trento