ΣΥΝΤΟΜΟ ΒΙΟΓΡΑΦΙΚΟ. Τρέχουσα Θέση Καθηγητής ΤΕΙ Λάρισας, ΣΤΕΦ, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, και

Transcript

1 ΣΥΝΤΟΜΟ ΒΙΟΓΡΑΦΙΚΟ Ονοματεπώνυμο: Χρυσάφης Χαρτώνας Τρέχουσα Θέση Καθηγητής ΤΕΙ Λάρισας, ΣΤΕΦ, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, και Μεταπτυχιακό Πρόγραμμα Πληροφορικής ( σήμερα), ΤΕΙ Λάρισας Συνεργαζόμενο Εκπαιδευτικό Προσωπικό (ΣΕΠ), Ελληνικό Ανοικτό Πανεπιστήμιο, Τμήμα Πληροφορικής Ειδίκευση: Θεωρία υπολογισμού Λογική (Εφαρμογές Μαθηματικής Λογικής στην Πληροφορική και την Τεχνητή Νοημοσύνη) Στοιχεία Επικοινωνίας Διεύθυνση: Λ. Μαβίλη 19, Λάρισα Τηλέφωνο: (σπιτιού), (γραφείου), Κινητό hartonas@teilar.gr www : Προηγούμενες Θέσεις Εξωτερικός Επιστημονικός Συνεργάτης στο Μεταπτυχιακό Πρόγραμμα Λογική και Θεωρία Αλγορίθμων και Υπολογισμού του Πανεπιστημίου Αθηνών Ιούνιος School of Cognitive and Computing Sciences, Computer Science, Theory of Computing Group, University of Sussex at Brighton, UK. Τίτλος:Research Fellow Ιανουάριος 1996 Ιούνιος 1996 Department of Computer Science, Theory and Formal Methods Group, University of Manchester, UK. Τίτλος: Honorary Research Fellow 1995 Επισκέπτης Ερευνητής, Τμήμα Μαθηματικών, Πανεπιστήμιο Ιωαννίνων και Συνεργαζόμενος Ερευνητής (Affiliated Project) Department of Computer Science, Indiana University, USA 1994 Department of Mathematics and Computer Science, University of Leicester, UK. Τίτλος: Research Associate.

2 Σπουδές 1994 (διπλό) PhD, Indiana University, Τμήμα Μαθηματικών Τμήμα Φιλοσοφίας Αντικείμενο Διατριβής: Kripke-style Semantics for Substructural (Resource-Conscious) Logics 1990 MSc Φιλοσοφία 1989 MSc Μαθηματικά 1978 Πτυχίο Αρχιτέκτονα Μηχανικού, ΑΠΘ Ερευνητικά Προγράμματα ΠΥΘΑΓΟΡΑΣ ΙΙ ( ) Συμμετοχή ως Ερευνητής Υπεύθυνος ΠΕ (Towards an Integration of Process Algebraic and Petri Net Specifications of Agent Systems) ΑΡΧΙΜΗΔΗΣ ΙΙ ( ) Ερευνητής και υπεύθυνος έρευνας (PerLA: Intelligent Personal Learning Assistants) ΑΡΧΙΜΗΔΗΣ Ι ( ) Επιστημονικός Υπεύθυνος (ProsAgent: Integration of the Holonic and Multi-agent System approaches to intelligent industrial process control) ( ) Χρηματοδότηση ΕΕ ΤΕΙ Λάρισας Επιστημονικός Υπεύθυνος, Πρόγραμμα «Τυπικές Μέθοδοι στην Ανάλυση Ευφυών Συστημάτων» ( ) Research Fellow, Ερευνητικό Πρόγραμμα: Denotational Semantics for Higher-Order Functional Concurrent Languages, University of Sussex, School of Cognitive & Computing Sciences (COGS), Theory of Computation Group (1ο Εξάμηνο 1996) Honorary Research Fellow, University of Manchester, Department of Computer Science, Theory and Formal Methods Group, (Δικαιοσύνη στον παράλληλο υπολογισμό, λογισμοί σταθερών σημείων) ( ) Research Associate, Ερευνητικό Πρόγραμμα, Reasoning About Fairness in Concurrent Computation, Dept of Mathematics & Computer Science, University of Leicester

3 Επίβλεψη Διδακτορικής/ Μεταπτυχιακής Ερευνας (τρέχουσα) Διδακτορική Ερευνα της κ. Π. Τσούτσα (συνεργασία με Παν. Πατρών), Το πρόβλημα Σύνθεσης Υπηρεσιών στο Διαδίκτυο (τρέχουσα) Διδακτορική Ερευνα της κ. Μ. Τσιακμάκη (συνεργασία με Παν. Πατρών), Αντικείμενα και Υπηρεσίες Μάθησης (τρέχουσα) Διδακτορική Έρευνα του κ. Α. Κριτσιμάλη (συνεργασία με Παν. Μακεδονίας), Αλγόριθμοι Ικανοποιησιμότητας Προτάσεων σε Συστήματα που προκύπτουν ως Συνδυασμοί και Επεκτάσεις της Προτασιακής Δυναμικής Λογικής, ή του Τροπικού Λογισμού μ, με Συστήματα Περιγραφικής Λογικής (2010) Μεταπτυχιακή Έρευνα του κ Κ. Μπιρμπίλη (Μεταπτυχιακό ΤΕΙ Λάρισα Staffordshire Univ), Implementing a Theorem Prover for PDL (2010) Μεταπτυχιακή Έρευνα της κ Α. Βενιάδου (Μεταπτυχιακό ΤΕΙ Λάρισα Staffordshire Univ), Ontological Reasoning and Student Modeling (2009) Μεταπτυχιακή Ερευνα του κ. Α. Κριτσιμάλη (Μεταπτυχιακό ΤΕΙ Λάρισα Staffordshire Univ) Role Modeling for CDL Specifications (2008) Μεταπτυχιακή Ερευνα του κ. Δ. Δεσποτάκη (Μεταπτυχιακό ΤΕΙ Λάρισα Staffordshire Univ) An Editor for designing Learning Objects in the CROP (Concept Resource Order Product) Architecture (2007) Μεταπτυχιακή Ερευνα του κ. Θ. Κατσαρού, (Μεταπτυχιακό ΤΕΙ Λάρισα Staffordshire Univ) Adaptive Learning Objects Επιλεγμένες Δημοσιεύσεις και Αναφορές PhD Thesis C. Hartonas, Algebraic and Kripke Semantics for Substructural Logics, PhD Thesis, Indiana University, Department of Mathematics - Department of Philosophy (double PhD), February Books C. Hartonas, Basic Logic (in greek), Ziti Publications, Greece, 2000 C. Hartonas, Foundations & Semantics for Programming Languages: Lambda Calculi (in greek), Ziti Publications, Greece, 2000 C. Hartonas, Basic Computability Theory (in greek), Ziti Publications, Greece, 2001 Papers in Journals & Conference Proceedings C. Hartonas, Reasoning about Types of Action and Agent Capabilities (in print), Logic Journal of the IGPL (Advance Access 2012; doi: /jigpal/jzs045), Oxford University Press M. Tsiakmaki, E. Gana, C. Hartonas, Adaptation as an Emergent Property of Learning Service Composition in the Semantic Web (in greek), Proceedings of the 2nd Conf on Computer Assisted Education, Patras, Greece, 2011 C. Hartonas, "Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics", Studia Logica,

4 vol 58, No 3, 1997, pp C. Hartonas, "Order-Duality, Negation and Lattice Representation", in Negation: A Notion in Focus, H. Wansing (ed), De Gruyter, Berlin, 1996, pp C. Hartonas, J. Michael Dunn, "Stone Duality for Lattices", Algebra Universalis, vol 37 (1997), pp C.Hartonas, "Duality for Modal mu-logics", Theoretical Computer Science vol 202 (1-2), 1998, pp C. Hartonas, E. Gana, Adaptivity for Knowledge Content in the Semantic Web, Proc KGCM C. Hartonas, E. Gana, Learning Objects and Learning Services in the Semantic Web, Proc ICALT C. Hartonas, A Combined Open Petri Net and Process Algebraic Approach to Message-Passing Services, Proc. SEEFM07, 2007 (best paper award, BCS-FACS). C. Hartonas, Modeling Service Communication with Open Petri Nets, Proc. SEEFM07, C. Hartonas, M.Hennessy, "Full Abstractness for a Concurrent/Functional Language with Higher-Order Value Passing (Extended Abstract)", Proc. CSL'97, Aarhus, Denmark, LNCS vol 1414, eds M. Nielsen, W. Thomas, Springer, 1998, pp C. Hartonas, M.Hennessy, "Full Abstractness for a Concurrent/Functional Language with Higher-Order Value Passing", Information and Computation. Vol 145, pp , 1998 C. Hartonas, "An Algebraic Theory of Structured Objects", Notre Dame Journal of Formal Logic vol 38, 1997 C.Hartonas, "A Fixpoint Approach to Finite Delay and Fairness", Theoretical Computer Science vol 198 (1-2), 1998, pp C. Hartonas, "Semantics for Finite Delay", Theoretical Computer Science, vol 176 (1997), pp C. Hartonas, M. Z. Kwiatkowska, "Syncronization Trees and Fairness: A Case Study", Theory and Formal Methods 1994, C.L. Hankin, I. Mackie and R. Nagarajan (eds). Proceedings: Imperial College Workshop, Theory and Formal Methods in Computing. Imperial College Press, London, 1995, pp C. Hartonas, "Pretopology Semantics for Bimodal Intuitionistic Linear Logic", Logic Journal of the IGPL, vol 5, No 1, 1997, pp J. Barwise, D. Gabbay and C. Hartonas, "On the Logic of Information Flow" Bulletin of the IGPL, vol 3, No 1, 1995, pp 7-49 J. Barwise, D. Gabbay and C. Hartonas, "Information Flow and the Lambek Calculus", Logic, Language and Computation, J. Selligman and D.Westerstahl (eds). Proceedings: Information-Oriented Approaches to Logic, Language and Computation, Moraga, California, CSLI Lecture Notes, No. 58, Stanford (1996), pp C. Hartonas, "A Minimal Calculus for Situated Multi-Agent Systems", in e-proc SSGRR03w, L'Aquila, Italy, 2003

5 Technical Reports C. Hartonas, "Denotational Semantics for a Higher-Order Extension of the Monadic pi-calculus", Technical Report, TEI Larissa, 1999 G. Allwein, C. Hartonas, "Duality for Bounded Lattices", Technical Report, Indiana University Logic Group, 1993 Αναγνώριση επιστημονικού έργου (Ετερο-αναφορές)