
Research Scientist with specialty in Artificial Intelligence
Greece

Research Scientist with specialty in Artificial Intelligence
Greece
Artificial Intelligence for Commercial Video Games
(Educational Institution; Higher Education industry)
2004 — 2009 (5 years )
Active developer of the high-level agent programming language IndiGolog. IndiGolog provides a practical framework for real robots that must react to the environment and continuously gather new information from it. In IndiGolog programs are executed incrementally to allow for interleaved action, planning, sensing, and exogenous events.
(Educational Institution; Higher Education industry)
2002 — 2007 (5 years )
Preparation and/or teaching of the following courses.
CSC108: Introduction to computer programming (Java).
CSC228: File structures and data management (C++).
CSC236: Introduction to the theory of computation.
CSC330: Logical specifications.
SCI199: Computers and thought.
(Educational Institution; 1001-5000 employees; Research industry)
March 2002 — June 2002 (4 months)
Part of a team that developed educational software to be used by students in high school. Worked in a part related to concurrency in computer programing and developed a tool for transforming a precedence graph into a parbegin/parend scheme. Application implementation in Java.
(Computer Software industry)
August 2000 — October 2000 (3 months)
Joined the KDD group of CSCS as part of the Visiting Researcher Program 2000 (VRP2000). Worked in the design and implementation of distributed data-mining techniques to be used for incremental association rule discovery of distributed and dynamically updated databases. Implementation using mobile agents based on Java, CORBA.
Ph.D. , Computer Science, Artificial Intelligence , 2004 — 2009
Thesis title: A Reasoning Module for Long-Lived Cognitive Agents.
M.Sc. , Computer Science, Artificial Intelligence , 2002 — 2004
Thesis title: A Feasible Approach to Disjunctive Knowledge in Situation Calculus.
Diploma , Electrical and Computer Engineering , 1997 — 2001
Diploma title: Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence.
Computer Science 1996 — 1997