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

Paweł Waszkiewicz

PhD

phone: (+48-12) 664 75 58
fax: (+48-12) 664 66 72
email: email
office: ul. Łojasiewicza 6, 30-348 Kraków
room: 3061
 
personal homepage
 
curriculum vitae:pl: [pdf]
phd thesis:[pdf]
photo

research interests
domain theory
category theory

selected publications
  • Reconciliation of elementary order and metric fixpoint theorems (with M. Kostanek).
       Submitted.

  • Approximation in quantale-enriched categories (with Dirk Hofmann).
       Topology and Its Applications 158 (2011), pp. 963-977.

  • A duality of quantale-enriched categories (with D. Hofmann).
       Submitted.

  • A duality of generalized metric spaces (with S. Antoniuk).
       Topology and Its Applications, accepted.

  • Common patterns for metric and ordered fixed point theorems.
         In Proceedings of the 7th Workshop on Fixed Points in Computer Science
         (Luigi Santocanale ed.), 2010, pp. 83-87.

  • The limit-colimit coincidence theorem for Q-categories (with M. Kostanek).
        Mathematical Structures in Computer Science 20(2) (2010), pp. 267-284.

  • The formal ball model for Q-categories (with M.Kostanek).
       Mathematical Structures in Computer Science 21(1) (2011), pp. 41-64.

  • On domain theory over Girard quantales.
        Fundamenta Informaticae 92 (2009), pp. 1-24.

  • Partial metrisability of continuous posets.
        Mathematical Structures in Computer Science 16(2) (2006), pp. 359-372.

  • Banach Domains: Computational Models of Banach Spaces
       Topology Proceedings 29(2) (2005), pp.641-671.

  • Completeness and Compactness in Quantitative Domains.
        Lecture Notes in Computer Science 3623 (2005), pp. 341-350.

  • Approximation simply characterized.
        Electronic Notes in Theoretical Computer Science 140 (2005), pp. 113-117.

  • Bounded complete models of topological spaces
        (with R.Kopperman and H.-P.Kunzi).
       Topology and Its Applications 139 (2004), pp. 285-297.

  • How do domains model topologies?
        Electronic Notes in Theoretical Computer Science 83 (2003), 18 pp.

  • The local triangle axiom in Topology and Domain Theory.
        Applied General Topology 4(1) (2003), pp. 47-70.

  • Quantitative Continuous Domains.
        Applied Categorical Structures 11 (2003), pp. 41-67.

  • Distance and Measurement in Domain Theory.
       Electronic Notes in Theoretical Computer Science 45 (2001), pp. 1-15.


  • some recent collaborators 
    Dirk HofmannUniversity of Aveiro, Portugal

    grants
    2004 - 2006 Types for programs and proofs
      EU, szósty program ramowy
      Project of 35 European Universities,
      contract number 510996.
    2006 - 2008 Quantitative research in logic and functional languages
      POLONIUM grant
      Cooperation between TCS and L Ecole Normale Superieure de Lyon and Universite de Versailles Saint-Quentin.
      7087/R07/R08
    2009 - 2012 Quantitative study in logics and computation theory
      Ministry of Science and Higher Education
      N206 3761 37

    short cv
    1998research assistantTrinity CollegeDublin, Ireland
    1998MSc in Computer SciencePolitechnika ŁódzkaŁódź, Poland
    1998MSc in Advanced Computer ScienceUniversity of BirminghamUnited Kingdom
    2002research assistantJagiellonian UniversityKraków
    2002PhD in Theoretical Computer ScienceUniwersytet w BirminghamBirmingham, UK
    2003postdocInstytut Matematyki, University College CorkCork, Irlandia
    2005, 2006stypenium rektorskieJagiellonian UniversityKraków
    2006Young Scientist Programme grantUniversity of BirminghamUnited Kingdom
    2008Short research visitThe University of AveiroPortugal
    2010Short research visitThe University of AveiroPortugal
     
     
      webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl