Alexios Lekidis

Current position

  • Research Assistant in the Security group at Eindhoven University of Technology
  • Senior Researcher in Security Matters, a 4TU spin-off


Eindhoven University of Technology
Department of Mathematics and Computer Science
Security Group
P.O. Box 513
5600 MB
The Netherlands

e-mail (replace * with @ and dot with . : a dot lekidis * tue dot nl

Biographical Sketch

Alexios Lekidis received the joint Bachelor and Master degree in Electrical and Computer Engineering at the Aristotle University of Thessaloniki. In 2011 he moved to Grenoble (France) where he worked in the Verimag Research Center as a Research Engineer under the supervision of Prof. Joseph Sifakis. In 2015 he received the Ph.D. in Applied Mathematics and Computer Science at the University of Grenoble. He conducted his thesis in Verimag under the supervision of Prof. Marius Bozga and Prof. Saddek Bensalem as well as the guidance of Prof. Joseph Sifakis conducting research in various types on networked embedded systems (including automotive, industrial automation, Wireless Sensor Networks and Internet of Things). His research focused on the validation, analysis and performance evaluation using model-based techniques and formal methods. After his Ph.D. he worked in ASML's Metrology Department focusing on the mathematical models for the calibration of lithographic machines. In 2017, he joined the Security Group at the Eindhoven University of Technology as Research Associate (post-doc) as well Security Matters as a Senior Researcher. Since 2016 he is also a Research Assistant at the Aristotle University of Thessaloniki in the Dependability and Security group (Department of Informatics), where he works on energy consumption analysis for the Internet of Things (IoT).

Research Interests

  • Real-Time Embedded Systems
  • Distributed Systems
  • Model-based design
  • Communication Networks
  • Performance evaluation
  • Computer Security
  • Formal Methods

Current Projects