Anastasia Mavridou

mavrida's picture

Position at ISIS

Title
Academic Researcher

Miscellaneous

Research interests

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

Curricula Vitae/Resume
http://amavridou.com/