|
|

| 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 patterns and calculi.
| Foundations: |
Coalgebra theory and coinductive reasoning.
| Method: |
Correctness by construction.
| |
|
|
| Others |
| Post-Graduate Students |
| Current Students |
| Past Students |
| Teaching Duties |
| 2009-10 |
| Past |
| Connections |
| Personal |
|
|
|
|