ramka nawigacyjna

Marek Zaionc

Lista publikacji:

19.
Probabilistic approach to the lambda definability for fourth order types, Electronic Notes in Theoretical Computer Science (2005), 41-54
15.
Statistics of implicational logic, Electronic Notes in Theoretical Computer Science vol. 84 (2003), 205–216
1.

export publikacji do excela

Doktoranci (po 27 października 2003 roku)

Doktorant Otwarcie Zakończenie
Maciej Bendkowski 2015-12-17
Michał Handzlik 2013-06-27
Mateusz Kostanek 2010-02-25
Katarzyna Grygiel 2010-12-16 2013-05-23
Jarosław Duda 2008-02-28 2010-10-28
Jakub Kozik 2005-01-27 2006-11-30

Recenzje (po 27 października 2003 roku)

Recenzowany Jednostka Treść recenzji
Doktorat: Przemysław Broniek
Doktorat: Edward Szczypka Zespół Katedr i Zakładów Informatyki Matematycznej
Doktorat: Grzegorz Matecki Zespół Katedr i Zakładów Informatyki Matematycznej

Granty (realizowane po maju 2009 roku)

Tytuł Rola Rozpoczęcie Zakończenie
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej kierownik 2014-07-16 2017-07-15
Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania kierownik 2014-07-01 2017-12-31
Śledzenie poruszających się osób w monitorowanych strefach wykonawca 2010-09-17 2013-09-16
Badanie ilościowe w logikach i teorii obliczeń kierownik 2009-09-17 2012-03-16