معرفی
Katarzyna Grygiel is a researcher in theoretical computer science at the Faculty of Mathematics and Computer Science, Jagiellonian University. Her primary affiliation is with the Department of Foundations of Informatics, where she focuses on lambda calculus, combinatorial logic, and asymptotic properties of formal systems. She earned her MSc in Mathematics (2007) and PhD in Computer Science (2013) from Jagiellonian University.
Her research interests span lambda calculus, combinatorial analysis of formal systems, and the application of probabilistic methods to logic. She has contributed to understanding normalization properties in combinatory logic and developed algorithms for generating lambda terms using Boltzmann samplers. Her work bridges theoretical computer science with foundational mathematical logic.
Key grants include leadership roles in projects like 'Asymptotic methods in lambda calculus and combinatorial logic' (2014–2017) and 'Quantitative Research in Logics and Computational Theory' (2009–2012). She co-organized major conferences, including the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (2016).
Her publications emphasize combinatorial studies of lambda terms, foundational logic, and algorithmic methods. Collaborations include researchers at École Polytechnique and University of Paris, reflecting her international scholarly network.
