Since 2006, I've returned back to Greece and joined the faculty
of the National Technical University of Athens.
Before that, I've spent most of my academic life in places with a
strong tradition on logic programming research: Stony Brook, Leuven,
and Uppsala.
My research interests have always been centered around the efficient implementation of programming systems with a strong theoretical foundation, such as those built around logic programming.
I guess I do not have to argue much to convince the readers of this page that the systems built in the field of logic programming and its numerous subfields have such properties. But the logic programming paradigm has more feathers in its hat. Indeed, besides numerous mature Prolog systems, research originating from the field of logic programming has had strong inflences on the development of the core ideas for various constraint programming systems, non-monotonic reasoning systems, and has provided key methods and tools for knowledge bases and semantic-based information integration. It might not be such a bad idea to remind the rest of the world about LP's successes and influences every once in a while.
In this respect, I think it is important that the ALP executive committee takes a more active role in the following: