Anastasia Mavridou
Postdoctoral Research Scholar

Institute for Software Integrated Systems
Department of Electrical Engineering and Computer Science
Vanderbilt University

address: 302 VUSE-ISIS building, 1025 16th Ave S, Nashville, TN 37212
e-mail: firstname dot lastname at vanderbilt.edu

Short Bio

I am currently working as a postdoc with Prof. Janos Sztipanovits at the Institute for Software Integrated Systems, Vanderbilt University, USA. My research interests lie in the area of component-based design, modeling and analysis of concurrent systems with a focus on correct-by-construction techniques.

I received my PhD in December 2016 from École polytechnique fédérale de Lausanne (EPFL), Switzerland. I was fortunate to be supervised by Prof. Joseph Sifakis and Dr. Simon Bliudze. Here is my PhD thesis. I hold an M.S. in Computer Science from University of Tulsa, USA and a Diploma in Electrical and Computer Engineering from Aristotle University of Thessaloniki, Greece.


Last updated: May 2018