Άγγελος Χαραλαμπίδης, Επίκουρος Καθηγήτής

Σύντομο Βιογραφικό

Ο Άγγελος Χαραλαμπίδης απέκτησε πτυχίο στην Πληροφορική και μεταπτυχιακό δίπλωμα στα Υπολογιστικά Συστήματα από το Πανεπιστήμιο Αθηνών το 2001 και 2008 αντίστοιχα. Το 2014 ολοκλήρωσε την διδακτορική του διατριβή στις αποδεικτικές διαδικασίες του λογικού προγραμματισμου υψηλής τάξης. Ήταν μεταδιδακτορικός ερευνητής στο Ινστιτούτο Πληροφορικής και Τηλεπικοινωνιών του ΕΚΕΦΕ “Δημόκριτος”. Το 2020, ήταν επισκέπτης καθηγητής στο πανεπιστήμιο Jefferson. To 2022 εντάχθηκε στο Τμήμα Πληροφορικής και Τηλεματικής του Χαροκοπείου Πανεπιστημίου όπου αυτή την στιγμή είναι επίκουρος καθηγητής Τα ερευνητικά του ενδιαφέροντα περιλαμβάνουν δηλωτικές γλώσσες προγραμματισμού, υπολογιστική λογική και συλλογισμό.

Ενδεικτικές Δημοσιεύσεις

1. Angelos Charalambidis, Panos Rondogiannis, "Categorical Approximation Fixpoint Theory", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2023), DOI: 10.1007/978-3-031-43619-2_35

2. Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis, "Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective", Theory and Practice of Logic Programming (2022), DOI: 10.1017/S1471068422000242

3. Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis, "A logical characterization of the preferred models of logic programs with ordered disjunction", Theory and Practice of Logic Programming (2021), DOI: 10.1017/S1471068421000235

4. Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis, "A Many-valued Logic for Lexicographic Preference Representation", Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 (2021), DOI: None

5. Charalampos Kostopoulos, Giannis Mouchakis, Antonis Troumpoukis, Nefeli Prokopaki-Kostopoulou, Angelos Charalambidis, Stasinos Konstantopoulos, "KOBE: Cloud-Native Open Benchmarking Engine for Federated Query Processors", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2021), DOI: 10.1007/978-3-030-77385-4_40