cs@cs.ucy.ac.cy | +357-22-892700

| | | | MyCS Portal |

Ακαδημαϊκό Προσωπικό

Επαφή

Κάκας Αντώνης
Θέση:
Καθηγητής
Διεύθυνση:
Γραφείο:,
Τμήμα Πληροφορικής,
Πανεπιστήμιο Κύπρου,

Λεωφόρος Πανεπιστημίου 1
Αγλαντζιά
Λευκωσία
2109
ΚΥΠΡΟΣ

Τηλέφωνο:
(+357) 22892706
Φαξ:
(+357) 22892701
Κινητό:
antonis-AT-cs.ucy.ac.cy

Άλλες πληροφορίες

Άλλες πληροφορίες:
Ph.D., Imperial College, University of London, UK, 1984
Undergraduate studies at the Imperial College, University of London, UK (B.Sc. in Mathematics, 1980). Graduate studies at the Imperial College, University of London, UK (M.Sc. in Computer Science, 1987 and Ph.D. in Theoretical Physics, 1984). He has worked as Research Fellow at Kings College, UK (1984-1986), at the University of Zurich, Switzerland (1987-1988), and at Imperial College, UK (1988-1992). He is a member of the editorial board of the international journals AI Communications, Journal of Applied Logic and Journal of Theory and Applications of Logic Programming.
* Υπολογιστική Λογική.
* Επιχειρηματολογία.
* Απαγωγικός και Επαγωγικός Συλλογισμός.
* Κοινή Λογική.
* Γνωστκά Συστήματα.