Kierownik: dr hab. Piotr Micek, prof. UJ

Badania:

• algorytmy
• deteministyczne
• probabilistyczne
• on-line
• teoria złożoności
• kryptografia
• matematyka dyskretna

Seminarium: Optymalizacja kombinatoryczna

Seminarium wyłącznie dla doktorantów, pracowników i studentów uczestniczących w grantach: Informatyka teoretyczna

Pracownicy:

Bartłomiej Bosek
Iwona Cieślik
Lech Duraj
Grzegorz Herman
Marcin Kozik
Piotr Micek
Adam Pezarski
Adam Polak
Nika Salia
Michał Seweryn
Maciej Ślusarek
Michał Wrona

Doktoranci:

Demian Banakh
Marcin Briański
Ignacy Buczek
Jędrzej Hodor
Jan Derbisz
Leonid Dorochko
Jan Tułowiecki

Kierownik: dr. hab. Jakub Kozik, prof. UJ

Badania:

• teoria obliczalności
• logika obliczeniowa
• programowanie w logice
• typowany lambda rachunek
• teoria dziedzin
• teoria kategorii w informatyce

Seminarium: Podstawy informatyki

 
Pracownicy

Katarzyna Grygiel
Grzegorz Gutowski
Jakub Kozik
Sławomir Rams
Wojciech Szpankowski
Bartosz Walczak
Marek Zaionc

Doktoranci

Bartosz Podkanowicz
Grzegorz Ryn