Angelos Charalampidis
Assistant Professor
Research Field: Programming Languages / Software Systems
Email:
CV
Angelos Charalambidis is an Assistant Professor at the Department of Informatics and Telematics, Harokopeion University of Athens. His research interests lie in programming languages - with a focus on declarative languages and their semantics - as well as knowledge representation and reasoning. He has participated in numerous European and national research projects.
He holds a PhD in Informatics from the National and Kapodistrian University of Athens (2014). Prior to joining Harokopeion University, he was a Visiting Assistant Professor at Thomas Jefferson University, USA (2020--2021), and a Postdoctoral Researcher at the Institute of Informatics and Telecommunications, NCSR ``Demokritos'' (2014--2019).
He holds a PhD in Informatics from the National and Kapodistrian University of Athens (2014). Prior to joining Harokopeion University, he was a Visiting Assistant Professor at Thomas Jefferson University, USA (2020--2021), and a Postdoctoral Researcher at the Institute of Informatics and Telecommunications, NCSR ``Demokritos'' (2014--2019).
Selected Publications
- 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.