e-mail (replace * with @ and dot with . : a dot lekidis * tue dot nl
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).