|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.|
|* Υπολογιστική Λογική.
* Απαγωγικός και Επαγωγικός Συλλογισμός.
* Κοινή Λογική.
* Γνωστκά Συστήματα.