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 11:00 - 15:00
Tuesday 11:00 - 15:00
Wednesday 11:00 - 15:00
Thursday 11:00 - 15:00
Friday 10:00 - 14:00
photo

news:
11.02.15 Marek Zaionc MAESTRO prestigious grant for Paweł Idziak.
11.02.15 Marek Zaionc Grant of Polish National Science Center for TCS
27.10.14 Pawel M. Idziak Jagiellonian Team 2nd in 2014 Polish Collegiate Programming Contest
28.06.14 Pawel M. Idziak Diament Grant for Grzegorz Guśpiel
08.06.14 Pawel M. Idziak TCS student, Piotr Bejda - Algorithmaster of the Year 2014

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