I am a Senior Researcher at SecurityMatters and Research Associate (post-doc) at the Security Group of the Eindhoven University of Technology. My work focuses on model-based design and development techniques for performance evaluation, rapid prototyping and network monitoring in real-time embedded, distributed and automatic control systems. I hold a PhD in Applied Mathematics / Computer Science from the University of Grenoble. Contact me at a.lekidis@tue.nl.