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
Maciej Ślusarek
Michał Wrona

Doktoranci:

Marcin Briański
Jan Derbisz
Jan Tułowiecki

Kierownik:r 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
Jonathan Narboni
Wojciech Szpankowski
Bartosz Walczak
Marek Zaionc

Doktoranci

Andrzej Dorobisz
Bartosz Podkanowicz