Dirk Pattinson: Research Interests

• Exact computation, recursive analysis, relationship to constructive mathematics

• Theory of coalgebras, connection to modal logics

• Conceptual Techniques for Component Mobility

• Logic and model theory, category theory and logic