Jakub Szymanik studied philosophy, psychology, mathematics, and linguistics at the Individual Studies in the Humanities (MISH), University of Warsaw, where he obtained MA in the area of logic at the Institute of Philosophy. Then he went to the ILLC and defended PhD on computational complexity of generalized quantifiers in natural language, under the supervision of Johan van Benthem, Marcin Mostowski, and Theo Janssen. He then did post-docs in Stockholm with Peter Pagin and in Groningen with Rineke Verbrugge. There, he developed an interest in the cognitive and computational constraints on social interaction. Jakub has been part of the SMART organizing committee since 2013.