I am an associate professor in logic and cognitive modeling at the Institute for Logic, Language and Computation at the University of Amsterdam. I am affiliated with the Faculty of Humanities within the Research Priority Area Brain & Cognition. My research interests include logic, cognitive science, formal semantics, complexity theory, philosophy, and any combination of these. I try to use logical and computational tools for cognitive modeling and designing psychological experiments. In my current research, I'm mostly concerned with the logic and cognitive science of language and social interactions. I have been especially interested in computational and cognitive aspects of quantifier meaning. In January 2013 I started my NWO Veni project `What makes social interactions hard? A computational study of intentions, knowledge, and beliefs.'
I studied philosophy, psychology, mathematics, and linguistics at the Individual Studies in the Humanities (MISH), University of Warsaw, where I obtained MA in the area of logic at the Institute of Philosophy. Then I went to Amsterdam and defended PhD at the Institute for Logic, Language and Computation. My advisors were Johan van Benthem, Marcin Mostowski, and Theo Janssen. I was working in the `Games and Linguistics' part of the GLoRiClass project funded by the European Community in the Marie Curie Program. My thesis work was about computational complexity and generalized quantifier theory. Directly after the graduation I was briefly teaching at the Cognitive Artificial Intelligence Program, Utrecht University and consulting for company SpeechConcept in machine translation. Next, I got a post-doctoral grant to work in the Department of Philosophy, Stockholm University. My project funded by the Swedish Research Council was devoted to language comprehension. I was involved in an experimental work, computational modeling and philosophical analysis in a collaboration with Peter Pagin. From Sweden, I went back to the Netherlands to join Rineke Verbrugge's NWO Vici project 'Cognitive systems in interaction: Logical and computational models of higher-order social cognition' in the the Institute of Artificial Intelligence and Cognitive Engineering of the University of Groningen. In the project I have developed an interest in the cognitive and computational constraints on social interaction.
- Alistair Isaac, Jakub Szymanik, and Rineke Verbrugge. Logic and complexity in cognitive science, Johan van Benthem on Logical/Informational Dynamics, A. Baltag and S. Smets (Eds.), Trends in Logic, Outstanding Contributions to Logic, Trends in Logic book series, Springer, 2014.
- Jakub Szymanik, Livio Robaldo, and Ben Meijering. On the identification of quantifiers' witness sets, Journal of Logic, Language and Information, 2014.
- Juha Kontinen and Jakub Szymanik. A characterization of definability of second-order generalized quantifiers with applications to non-definability, Journal of Computer and System Sciences, 2014.
- Gerben Bergwerff, Ben Meijering, Jakub Szymanik, Rineke Verbrugge, and Stefan M. Wierda. Computational and algorithmic models of strategies in turn-based games, Proceedings of the 36th Annual Conference of the Cognitive Science Society, 2014, forthcoming.
- Jakub Dotlačil, Jakub Szymanik, and Marcin Zajenkowski. Probabilistic semantic automata in the verification of quantified statements, Proceedings of the 36th Annual Conference of the Cognitive Science Society, 2014, forthcoming.
- Cédric Dégremont, Lena Kurzen and Jakub Szymanik. Exploring tractability border in epistemic tasks, Synthese, Vol. 191, Issue 3, 2014, pp. 371-408.
- Jakub Szymanik and Rineke Verbrugge. Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop, Journal of Logic, Language and Information, Vol. 22, Issue 4, 2013, pp. 357-362
- Marcin Zajenkowski, Maria Garraffa, and Jakub Szymanik. Working memory mechanism in proportional quantifier verification, Journal of Psycholinguistic Research 2013.
- Marcin Zajenkowski and Jakub Szymanik. Most intelligent people are accurate and some fast people are intelligent. Intelligence, working memory, and semantic processing of quantifiers from a computational perspective, Intelligence. A Multidisciplinary Journal, Vol. 41 (5), 2013, pp. 456–466.
- Jakub Szymanik and Marcin Zajenkowski. Monotonicity has only a relative effect on the complexity of quantifier verification, Proceedings of the 19th Amsterdam Colloquium. M. Aloni, M. Franke, F. Roelofsen, 2013, pp. 219-225.
- Jakub Szymanik. Backward Induction is PTIME-complete, Proceedings of the Fourth International Workshop on Logic, Rationality, and Interaction. D. Grossi, O. Roy, H. Huang (Eds.), Lecture Notes in Computer Science, Vol. 8196, 2013, pp. 352-356.
- Jakub Szymanik. Communication and cooperation, Logic Across University: Foundations and Applications - Proceedings of the Tsinghua Logic Conference. J. van Benthem, F. Liu (Eds.), Studies in Logic Vol. 47, College Publications London, 2013, pp. 372-375.
- Jakub Szymanik, Shane Steinert-Threlkeld, Marcin Zajenkowski, and Thomas F. Icard III. Automata and Complexity in Multiple-Quantifier Sentence Verification, Proceedings of the 12th International Conference on Cognitive Modeling, R. West and T. Stewart (Eds.), Ottawa: Carleton University, 2013.
- Jakub Szymanik, Ben Meijering, and Rineke Verbrugge. Using intrinsic complexity of turn-taking games to predict participants' reaction times, Proceedings of the 35th Annual Conference of the Cognitive Science Society, M. Knauff, M. Pauen, N. Sebanz, I. Wachsmuth (Eds), Austin, TX: Cognitive Science Society, 2013, pp. 1426-1432 .
- Marcin Zajenkowski, Rafał Styła, and Jakub Szymanik. A computational approach to quantifiers as an explanation for some language impairments in schizophrenia, Journal of Communication Disorder, Vol. 44, 2011, pp. 595-600.
- Jakub Szymanik and Marcin Zajenkowski. Contribution of working memory in the parity and proportional judgments, Belgian Journal of Linguistics, Vol. 25, 2011, pp. 189-206.
- Iris van Rooij, Johan Kwisthout, Mark Blokpoel, Jakub Szymanik, Todd Wareham, and Ivan Toni. Intentional communication: Computationally easy or difficult?, Frontiers in Human Neuroscience, Vol. 5, 2011, pp. 1--18.
- Nina Gierasimczuk and Jakub Szymanik. Invariance properties of quantifiers and multiagent information exchange, Proceedings of 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence 6878, M. Kanazawa, A. Kornai, M. Kracht and H. Seki (Eds.), 2011, Springer, Berlin, pp. 72-89.
- Cédric Dégremont, Lena Kurzen and Jakub Szymanik. On the tractability of comparing informational structures, Proceedings of the Workshop 'Reasoning about Other Minds: Logical and Cognitive Perspectives', J. van Eijck, R. Verbrugge (Eds.), CEUR Workshop Proceedings 751, 2011, pp. 50-64. (see also extended version in Synthese, 2012)
- Nina Gierasimczuk and Jakub Szymanik. A note on a generalization of the Muddy Children Puzzle, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, K.Apt (Ed.), ACM Digital Library, 2011, pp. 257-264.
- Juha Kontinen and Jakub Szymanik. Characterizing definability of second-order generalized quantifiers, Proceedings of the Workshop on Logic, Language, Information and Computation Lecture Notes in Artificial Intelligence 6642, L. Beklemishev and R. De Queiroz (Eds.), 2011, Springer, Berlin, pp. 187-200. (see also extended version in Journal of Computer and System Sciences, 2013)
- Oliver Bott, Fabian Schlotterbeck, and Jakub Szymanik. Interpreting tractable versus intractable reciprocal sentences, Proceedings of the International Conference on Computational Semantics 9, J. Bos and S. Pulman (Eds.), SIGSEM, Oxford, 2011, pp. 75-84.
- Jakub Szymanik. Computational complexity of polyadic lifts of generalized quantifiers in natural language, Linguistics and Philosophy, Vol. 33, Iss. 3, 2010, pp. 215-250.
- Jakub Szymanik and Marcin Zajenkowski. Comprehension of simple quantifiers. Empirical evaluation of a computational model, Cognitive Science, 34(3), 2010, pp. 521-532.
- Alistair Isaac and Jakub Szymanik. Logic in cognitive science: Bridging the gap between symbolic and connectionist paradigms, Journal of the Indian Council of Philosophical Research, Vol. XXVII, No 2, 2010, pp. 279-309. Also reprinted in: A New Survey of Active Directions in Modern Logic. Logic and Philosophy Today, A. Gupta, J. van Benthem (Eds.), Studies in Logic, Volume 30, College Publications, London, 2011, pp. 275-300.
- Jakub Szymanik and Marcin Zajenkowski. Quantifiers and working memory, Proceedings of Amsterdam Colloquium 2009, Lecture Notes in Artificial Intelligence 6042, M. Aloni and K. Schulz (Eds.), Springer, Berlin, 2010, pp. 456-464.
- Jakub Szymanik. Almost all complex quantifiers are simple, Proceedings of the 13th Meeting on Mathematics of Language, Lecture Notes in Computer Science 6149, C. Ebert, G. Jäger, M. Kracht, J. Michaelis (Eds.), Springer, Berlin, 2010, pp. 272-280. (see also extended journal version in Linguistics and Philosophy, 2010)
- Nina Gierasimczuk and Jakub Szymanik. Branching quantification vs. two-way quantification, Journal of Semantics, Vol. 26, No. 4, 2009, pp. 329-366.
- Jakub Szymanik and Marcin Zajenkowski. Improving methodology of quantifier comprehension experiments, Neuropsychologia, Vol. 47, No. 12, 2009, pp. 2682-2683.
- Jakub Szymanik and Marcin Zajenkowski. Understanding quantifiers in language, Proceedings of the 31st Annual Conference of the Cognitive Science Society, N. A. Taatgen and H. van Rijn (Eds.), 2009, pp.1109-1115. (see also extended journal version in Cognitive Science, 2010)
- Jakub Szymanik. The computational complexity of quantified reciprocals, Proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes on Artificial Intelligence 5422, P. Bosh, D. Gabelaia, J. Lang (Eds.), Springer, Berlin 2009, pp. 139-152. (see also extended journal version in Linguistics and Philosophy, 2010)
- Jakub Szymanik. A comment on a neuroimaging study of natural language quantifier comprehension, Neuropsychologia, Vol. 45, Iss. 9, 2007, pp. 2158-2160.
- Jakub Szymanik. Strong Meaning Hypothesis from a computational perspective, Proceedings of the 16th Amsterdam Colloquium, M. Aloni, P. Dekker, F. Roelofsen (Eds.), 2007, Amsterdam, pp. 211-216. (see also extended journal version in Linguistics and Philosophy, 2010)
- Marcin Mostowski and Jakub Szymanik. Computational complexity of some Ramsey quantifiers in finite models, The Bulletin of Symbolic Logic, 13, 2007, pp. 281-282.
- Nina Gierasimczuk and Jakub Szymanik. Hintikka's thesis revisited, The Bulletin of Symbolic Logic, 13 (2007), p. 273. (See the full paper in Journal of Semantics, 2009)
- Jakub Szymanik. Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym, Studia Semiotyczne 26, 2007, pp. 219-244.
- Tadeusz Ciecierski and Jakub Szymanik. O hipotezie Bar-Hillela, Studia Semiotyczne 25, 2004, pp. 201-212.
- Jakub Szymanik. Problemy z formą logiczną, Studia Semiotyczne 25, 2004, pp. 187-200.