|
|

| Position Statement |
| Professional Activities |
| Long Term |
| Recent Lectures and Seminars |
| Forthcoming and Recent Activities |

| Research Interests |
| Main Research Area |
| Applications: |
Software components,
services and architectures. | Focus: |
Architectural understanding and
re-engineering of legacy software.
| Foundations: |
Coalgebra theory and coinductive reasoning.
Relational calculus.
| Method: |
Systems analysis and construction by
calculation.
| |
|
|
| Others |
| Post-Graduate Students |
| Current Students |
| Past Students |
| Teaching Duties |
| 2009-10 |
| Past |
| Connections |
| Personal |
|
|
|
|