The major challenges in computer science and technology, such as the effective utilization of the Internet and the support of the World Wide Web, the evaluation and support of large information systems, the retrieval of information from large databases, the development of intelligent techniques and systems, the communication of human- Computers, the exploitation of new parallel architectures and the efficient solution of complex computing problems arising at the cutting edge of Technology and Science, depend par excellence on the research and development of the cognitive domain of Logic. The aim of the Department is to impart and promote knowledge through high quality teaching and research and to offer laboratory support on topics related to the area of logic. The work of the Department is inextricably linked to that of the other areas of the department but also to all areas of science and technology that need the new computing technologies.
Director: Michalis Xenos