Position at ISIS

Title

Alumni

Miscellaneous

Research interests

Component-Based Design, Software Architecture, Correctness-by-Construction, Formal Methods

Curricula Vitae/Resume

http://amavridou.com/