Foundations of Computer Science

Head: prof. Marek Zaionc

Research interests:

  • computability theory
  • computational logic
  • logic programming
  • typed lambda calculus
  • domain theory
  • category for computer science

Seminars:

Computer Science Foundations:
Wednesday 12:15 - 14:00, room 0174
Randomized and Approximation Algorithms:
Thursday 16:00 - 18:00, room 0174

 

Faculty PhD students
Maciej Bendkowski
Katarzyna Grygiel
Grzegorz Gutowski
Jakub Kozik
Marcin Mazur
Krzysztof Turowski
 
Bartosz Walczak
Marek Zaionc
Andrzej Dorobisz
Łukasz Lachowski