Computable analysis and effective geometric measure theory

Course

Lecturer:
Manlio Valenti (Swansea University)

Board Contact:
Alberto Marcone

SSD: MATH-01/A

CFU: 2 CFU + assignment: 2 CFU 

Period: September–October 2026

Lessons / Hours: 10 hours, 5 lectures 

Program:

Overview of the relevant notions in computability theory and geometric measure theory.

The Point-to-set principle for the Hausdorff and packing dimension.

Selected results on effective geometric measure theory and its  applications

Prerequisites: Basic notions in computability theory are useful but not required