Angelos Charalambidis, Assistant Professor

Basic Information

acharal

Office: 3.4, 3rd floor

Phone: +30210 9549435

E-mail: acharal[at]hua[dot]gr

Webpage:

Research Field: Programming Languages and Software Systems

Short CV

Angelos Charalambidis received his B.S. degree in Informatics and M.S. degree in Computer Systems from the University of Athens in 2005 and 2008 respectively. In 2014 he completed his Ph.D. thesis on the proof procedures of higher-order logic programming. He was a postgraduate researcher in the Institute of Informatics and Telecommunications of the NCSR Demokritos. In 2020, he was a visiting professor at Jefferson University. In 2022, he joined the Department of Informatics and Telematics at Harokopio University where he is currently assistant professor. His research interests include declarative programming languages, computational logic and reasoning.

Indicative Publications

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