Άγγελος Χαραλαμπίδης
Επίκουρος Καθηγητής
Αντικείμενο: Γλώσσες Προγραμματισμού / Συστήματα Λογισμικού
Email:
Γραφείο: 3.4
Βιογραφικό Σημείωμα
Ο Άγγελος Χαραλαμπίδης είναι Επίκουρος Καθηγητής στο Τμήμα Πληροφορικής και Τηλεματικής του Χαροκόπειου Πανεπιστήμιου. Τα ερευνητικά του ενδιαφέροντα εστιάζονται στις γλώσσες προγραμματισμού - με έμφαση στις δηλωτικές γλώσσες και τη σημασιολογία τους - καθώς και στην αναπαράσταση γνώσης και τη συλλογιστική. Έχει συμμετάσχει σε πλήθος ευρωπαϊκών και εθνικών ερευνητικών προγραμμάτων.
Έχει διδακτορικό στην Πληροφορική από το Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (2014). Πριν την εκλογή του στο Χαροκόπειο Πανεπιστήμιο, υπήρξε Επισκέπτης Επίκουρος Καθηγητής στο Thomas Jefferson University των ΗΠΑ (2020--2021) και Μεταδιδακτορικός Ερευνητής στο Ινστιτούτο Πληροφορικής και Τηλεπικοινωνιών του ΕΚΕΦΕ «Δημόκριτος» (2014--2019).
Έχει διδακτορικό στην Πληροφορική από το Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (2014). Πριν την εκλογή του στο Χαροκόπειο Πανεπιστήμιο, υπήρξε Επισκέπτης Επίκουρος Καθηγητής στο Thomas Jefferson University των ΗΠΑ (2020--2021) και Μεταδιδακτορικός Ερευνητής στο Ινστιτούτο Πληροφορικής και Τηλεπικοινωνιών του ΕΚΕΦΕ «Δημόκριτος» (2014--2019).
Επιλεγμένες Δημοσιεύσεις
- A. Charalambidis, B. Kostopoulos, C. Nomikos, and P. Rondogiannis. 2025. “The Power of Negation in Higher-Order Datalog”. TPLP 25(4).
- A. Charalambidis, G. Nikolaou, and A. Troumpoukis. 2025. “Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP”. Logic-Based Program Synthesis and Transformation. Springer Nature Switzerland.
- A. Charalambidis, G. Chatziagapis, B. Kostopoulos, and P. Rondogiannis. 2024. “Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices”.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024.
- B. Bogaerts, A. Charalambidis, G. Chatziagapis, B. Kostopoulos, S. Pollaci, and P. Rondogiannis. 2024. “The Stable Model Semantics for Higher-Order Logic Programming”. TPLP 24(4).
- A. Charalambidis and P. Rondogiannis. 2023. “Categorical Approximation Fixpoint Theory”. Logics in Artificial Intelligence - 18th European Conference,
JELIA 2023.
- A. Charalambidis, G. Nikolaou, and A. Troumpoukis. 2025. “Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP”. Logic-Based Program Synthesis and Transformation. Springer Nature Switzerland.
- A. Charalambidis, G. Chatziagapis, B. Kostopoulos, and P. Rondogiannis. 2024. “Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices”.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024.
- B. Bogaerts, A. Charalambidis, G. Chatziagapis, B. Kostopoulos, S. Pollaci, and P. Rondogiannis. 2024. “The Stable Model Semantics for Higher-Order Logic Programming”. TPLP 24(4).
- A. Charalambidis and P. Rondogiannis. 2023. “Categorical Approximation Fixpoint Theory”. Logics in Artificial Intelligence - 18th European Conference,
JELIA 2023.