Granty
-
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
stopień/tytuł doktor stanowiskodydaktyczne, adiunkt
jednostka
- Katedra Podstaw Informatyki
- Instytut Informatyki Analitycznej
ul. Prof. S. Łojasiewicza 6, pok. 3061
katarzyna.grygiel@uj.edu.pl