Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna  
UJ coat of arms
Foundations of Computer Science
 
 

Mateusz Kostanek

master of science

fax: (+48-12) 664 66 72
email: email
office: ul. Łojasiewicza 6, 30-348 Kraków
room: 149
office hours: Wednesday 14:00 - 16:00
 
 
photo

selected publications
  • Mateusz Kostanek, Paweł Waszkiewicz
    Reconciliation of elementary order and metric fixpoint theorems.
    Submitted.
  • Mateusz Kostanek, Paweł Waszkiewicz
    The formal ball model for Q-categories.
    Mathematical Structures in Computer Science 21(1) (2011), pp. 41-64.
  • Mateusz Kostanek, Paweł Waszkiewicz
    The limit-colimit coincidence theorem for Q-categories
    Mathematical Structures in Computer Science (2010), vol. 20, pp. 267-284.

  • grants
    2010 - 2012 Movement tracking in monitored zones
      Ministry of Science and Higher Education
      R00 0081 11

    short cv
    2008MSc Computer ScienceJagiellonian UniversityKrakow, Poland
    2008-PhD studentJagiellonian UniversityKrakow, Poland
     
     
      webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl