Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna
UJ coat of arms
Foundations of Computer Science
 
 
address:
Foundations of Computer Science,
Jagiellonian University,
ul. Łojasiewicza 6,
30-348 Kraków , Poland
phone:(+48-12) 664 66 47
fax:(+48-12) 664 66 72
email: email
office:room 3053
Monday 09:00 - 15:30
Tuesday 09:00 - 15:30
Wednesday 09:00 - 18:00
Thursday 09:00 - 15:30
Friday 09:00 - 15:30
photo

news:
29.06.09 Pawel M. Idziak Michał Staromiejski got a research scholarship
23.06.09 Pawel M. Idziak Studying analytical computer science at Jagiellonian can bring you ...
30.04.09 Piotr Micek Research & Development Center
21.04.09 Pawel M. Idziak Jagiellonian Team in top 0.5% of the best programmers in the World
19.04.09 Pawel M. Idziak Jagiellonian Team 1st in 2009 KrakOpen Team Programming Challenge

research interests: seminars:
computability theory
computational logic
logic programming
typed lambda calculus
domain theory
category for computer science
Generating functions:
Wednesday 10:15 - 12:00
Computer science foundations:
Wednesday 12:15 - 14:00
 
 
  webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl