Eleni Mandrali is a postdoctoral researcher at the School of Science and Technology of the International Hellenic University. She holds a diploma in Mathematics of the Aristotle University of Thessaloniki, a Master’s degree in “Theoretical Computer Science and Theory of Systems and Control” of the Aristotle University of Thessaloniki, and a Phd in Mathematics (Theoretical Computer Science)  of the Aristotle University of Thessaloniki. Her research interests focus in the theory of automata, logics, and quantitative verification. She has been a postdoctoral researcher in Theoretical Computer Science at the Department of Mathematics of the Aristotle University of Thessaloniki. She has also taught the following courses: At the department of Mathematics of the Aristotle University of Thessaloniki “Theoretical Computer Science I”, “Theoretical Computer Science II”, “Algorithms and Data Structures”, and “Fuzzy Set Theory”. At the department of Computing of the Metropolitan College of Thessaloniki “Software Development” and  “Maths for Computing”. At the department of Computer Science of the City College of Thessaloniki, University of York Europe Campus “Mathematical Foundations”, “Discrete Mathematical Foundations”, “Automata and Logic”, and co-teach in “Formal Methods and Software reliability”.