معرفی
Marek Zaionc is a Professor at the Faculty of Mathematics and Computer Science, Jagiellonian University in Kraków, Poland. He specializes in theoretical computer science, logic, and computability theory. His research focuses on asymptotic properties of logical systems, lambda calculus, and the quantitative analysis of fuzzy logics. He has held visiting positions at institutions including the University of Alabama (USA), University of Buffalo (USA), and Université de Versailles (France).
Education and Career:
- PhD in Mathematics, University of Warsaw (1985)
- Habilitation, Jagiellonian University (1993)
- Professor of Mathematical Sciences, Jagiellonian University (2003)
- Deputy Dean of Faculty of Mathematics and Computer Science (2002–2003)
Research Interests:
- Asymptotic probability in logic and computability
- Typed lambda calculus and functional programming
- Quantitative studies of fuzzy logics and non-classical logics
- Combinatorial analysis of logical terms and structures
Grants and Projects:
- NCN Grant (2019–2023): Investigating asymptotic equivalence in set theories
- NCBR Grant (2014–2017): Asymptotic methods in lambda calculus and combinatory logic
- Narodowe Centrum Badań (2010–2013): Quantitative studies in logic and computation
Awards and Recognition: While no specific awards are listed, his extensive publications and leadership roles reflect significant contributions to theoretical computer science and logic.
Labs and Teams: Active contributor to the Algorithmics Research Group and Foundations of Computer Science initiatives at Jagiellonian University.
