Grants
-
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
NCN
Rola: Wykonawca
2014-07-16 - 2017-07-15 -
Badanie ilościowe w logikach i teorii obliczeń
Rola: Wykonawca
2009-09-17 - 2012-03-16
Katarzyna Grygiel
academic degree/title Doctor of Philosophy (PhD) positionfaculty staff member group, assistant professor
unit
- Foundations of Computer Science
- Theoretical Computer Science
Prof. S. Łojasiewicza 6 street, room 3061
katarzyna.grygiel@uj.edu.pl