Μανδραλή Ελένη
Η Ελένη Μανδραλή είναι μεταδιδακτορική ερευνήτρια του Τμήματος Επιστήμης και Τεχνολογίας του ΔΙ.ΠΑ.Ε. Είναι κάτοχος πτυχίου Μαθηματικών και μεταπτυχιακού διπλώματος σπουδών στη “Θεωρητική Πληροφορική και Θεωρία Συστημάτων και Ελέγχου” του Α.Π.Θ., και διδάκτορας Μαθηματικών(Θεωρητική Πληροφορική) του Α.Π.Θ.. Τα ερευνητικά της ενδιαφέροντα επικεντρώνονται στη Θεωρία αυτομάτων, τη λογική και την ποσοτική επαλήθευση συστημάτων. ‘Εχει πραγματοποιήσει μεταδιδακτορική έρευνα στο Τμήμα Μαθηματικών του Α.Π.Θ. στον κλάδο της Θεωρητικής Πληροφορικής. ‘Εχει διδάξει“Θεωρητική Πληροφορική Ι”, “Θεωρητική Πληροφορική ΙΙ”, “Αλγόριθμοι και Δομές Δεδομένων”, “Θεωρία Ασαφών Συνόλων” στο τμήμα Μαθηματικών του Α.Π.Θ., “Ανάπτυξη Λογισμικού”, “Maths for Computing” στο τμήμα Πληροφορικής του Μητροπολιτικού Κολλεγίου Θεσσαλονίκης, και “Mathematical Foundations”, “Discrete Mathematical Foundations”, ”Automata and Logic” και (συνδιδασκαλία) “Formal Methods and Software reliability ” στο τμήμα Πληροφορικής του City College of Thessaloniki, University of York Europe Campus.
- E. Mandrali, Describing weighted safety with weighted LTL over product omega-valuation monoids. Scientific Annals of Computer Science 33(2)[2]: 93-157 (2023).
- E. Mandrali, A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids, Scientific Annals of Computer Science, 31 (2) (2021) 223–292, doi: 10.7561/SACS.2021.2.223.
- E. Mandrali and G. Rahonis, Weighted first-order logics over semirings, Acta Cybernetica, 22(2015) 435—483.
- E. Mandrali and G. Rahonis, On weighted first-order logics with discounting, Acta Informatica, 51(2014) 61–106.
- E. Mandrali and G. Rahonis, Characterizations of weighted first-order logics over semirings, in: Proceedings of CAI 2013, Lecture Notes in Computer Science, 8080:247—259, 2013.
- E. Mandrali, Weighted LTL with discounting, in: Proceedings of CIAA 2012, Lecture Notes in Computer Science, 7381:353—360, 2012.
- E. Mandrali and G. Rahonis, Recognizable tree series with discounting, Acta-Cybernetica, 19(2009) 411-439.
- 16/11/19-16/11/21: Υποτροφία εκπόνησης μεταδιδακτορικής έρευνας Ιδρύματος Κρατικών Υποτροφιών (ΙΚΥ)
- 1/1/14-31/12/14: Υποτροφία “Αριστεία” εκπόνησης μεταδιδακτορικής έρευνας Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης.
- 1/9/10-31/8/13: Υποτροφία “Ηράκλειτος ΙΙ” εκπόνησης διδακτορικής έρευνας Υπουργείου Παιδείας της Ελλάδας.