Foundations of Computer Science

Theoretical Computer Science
Faculty of Mathematics and Computer Science
Jagiellonian University

Foundations of Computer Science

Paweł Waszkiewicz

PhD

phone:	(+48-12) 664 75 58
fax:	(+48-12) 664 66 72
email:
office:	ul. Łojasiewicza 6, 30-348 Kraków
room:	3061

personal homepage

curriculum vitae:	pl: [pdf]
phd thesis:	[pdf]

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 Hofmann	University 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

1998	research assistant	Trinity College	Dublin, Ireland
1998	MSc in Computer Science	Politechnika Łódzka	Łódź, Poland
1998	MSc in Advanced Computer Science	University of Birmingham	United Kingdom
2002	research assistant	Jagiellonian University	Kraków
2002	PhD in Theoretical Computer Science	Uniwersytet w Birmingham	Birmingham, UK
2003	postdoc	Instytut Matematyki, University College Cork	Cork, Irlandia
2005, 2006	stypenium rektorskie	Jagiellonian University	Kraków
2006	Young Scientist Programme grant	University of Birmingham	United Kingdom
2008	Short research visit	The University of Aveiro	Portugal
2010	Short research visit	The University of Aveiro	Portugal

webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl