Panagiotis Rondogiannis

Panagiotis Rondogiannis is a Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens. He holds degrees from the University of Patras (B.Sc., 1989) and the University of Victoria, Canada (M.Sc. 1991, Ph.D. 1994). His research focuses on Logic Programming, Nonmonotonic Reasoning, Functional/Dataflow Programming, and Semantics of Programming Languages, with a particular emphasis on higher-order extensions and fixpoint theory.

His work spans foundational aspects of logic programming semantics, including stable model semantics, categorical fixpoint theory, and non-monotonic reasoning frameworks. Key contributions include advancements in higher-order Datalog, lexicographic preference modeling, and the application of game semantics to logic programs. He has published extensively in top venues like Theory and Practice of Logic Programming (TPLP), ACM Transactions on Computational Logic (TOCL), and International Conference on Logic Programming (ICLP).

Rondogiannis has collaborated with leading researchers such as Angelos Charalambidis and William W. Wadge, exploring topics like bilattice-based fixpoint theory and the implementation of recursive dataflow graphs in TensorFlow. His research bridges theoretical foundations with practical applications in areas like knowledge representation and programming language design.