Research areas	Theoretical Computer Science. In particular, computation over topological spaces like R.
Keywords	computer science, effective analysis, theory of programming languages
Themes	My current interest is computational structure in analysis, from the viewpoint of programming language theory.
Major publications
Professional societies/Research and synergic activities
Teaching Areas	Undergraduate courses Graduate courses (Master's program) Graduate courses (Doctor's program) Undergraduate courses open to all departments
Background