Panos Rondogiannis is a Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, focusing on Theoretical Informatics. His research spans logic programming semantics, fixpoint theory, and non-monotonic reasoning with contributions to higher-order constructs and formal frameworks for preference representation. His research interests include logic programming semantics, fixpoint theory, non-monotonic reasoning, and the application of higher-order constructs in programming. He explores many-valued logics for preference representation and has contributed to game-theoretic and categorical approaches in formal semantics. Rondogiannis’s recent work (2020–2024) addresses recursive functions in TensorFlow, non-monotonic fixpoint theories, and stable model semantics for higher-order logic programs. Earlier contributions (2017–2019) include advancements in approximation fixpoint theory, extensional semantics for logic programs, and the expressive power of higher-order datalog systems. No scientific awards mentioned. No advising or grant information provided in the available texts. No specific labs or collaborative teams are detailed in the provided information.







