Paolo Boldi

My Ph.D. Thesis

My Ph.D. Thesis, titled Measurement and Approximation of Infinite Structures via Tolerance Spaces (advisors: Prof. Felice Cardone, Manfred Droste, Nicoletta Sabadini), develops the notion of "tolerance space", which I believe to be central in every theory of concurrency and, in a more general sense, in the theory of computation whenever approximation is a non-avoidable issue.

In this sense, my thesis motivates the use of tolerance spaces (and of some generalizations) in computer science, with applications to different areas (such as the development of numerical algorithms, digital topology, computer graphics, asynchronous circuit design), and discusses in detail some constructions which allow one to use tolerance spaces as tools for approximating complex spaces of various kinds.

Download it!