A BRICS Mini-Course
April 23, 25 and 30, 2002
Margarita Korovina, email@example.com
The course introduces basic concepts of computable analysis such as computable real numbers, computable functions, operators and functionals. The subject of the course represents a marriage between classical mathematical analysis and computability. It is useful to know, at least theoretically, which computations in analysis are possible and which are not. We will introduce a framework for investigating computability and non computability of standard processes in mathematical analysis. In this course we consider and compare different approaches to computability on the reals: machine-oriented and domain-theoretic approaches. We will also consider some applications of computable analysis to the theory of hybrid systems.
Margarita Korovina received her PhD in 1996 from Sobolev Institute of Mathematics, Novosibirsk, Russia. Her thesis, "Generalized computability on the real numbers", presents a theory of computation of real-valued functions, functionals and operators of finite types. Her current research interests include computable analysis, definability and computability theories, domain theory and hybrid systems. Margarita joined BRICS in 2001.