Katedra Podstaw Informatyki

Kierownik: prof. Marek Zaionc

Badania:

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

Seminaria:

Podstawy Informatyki
środa 12:15 - 14:00, 0174
Algorytmy Probabilistyczne i Aproksymacyjne
wtorek 16:00 - 18:00, 0174

 

Pracownicy Doktoranci
Maciej Bendkowski
Katarzyna Grygiel
Grzegorz Gutowski
Jakub Kozik
Krzysztof Turowski
Bartosz Walczak
Marek Zaionc
Andrzej Dorobisz
Łukasz Lachowski