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 |