Φωκίων Γ. Κολαΐτης
| Φωκίων Κολαΐτης | |
|---|---|
| Γέννηση | 4 Ιουλίου 1950 Αθήνα |
| Σπουδές | Πανεπιστήμιο της Καλιφόρνιας, Λος Άντζελες |
| Βραβεύσεις | Υποτροφία Γκούγκενχαϊμ (1993), μέλος της Αμερικανικής Ένωσης για την Προώθηση της Επιστήμης (2010) και ACM Fellow (2005) |
| Ιστοσελίδα | |
| https://users.soe.ucsc.edu/~kolaitis/ | |
| Επιστημονική σταδιοδρομία | |
| Ιδιότητα | καθηγητής πανεπιστημίου, επιστήμονας υπολογιστών και μαθηματικός |
| Διδακτορικός καθηγητής | Γιάννης Μοσχοβάκης |
| δεδομένα () | |
Ο Φωκίων Γ. Κολαΐτης ACM (γενν. 4 Ιουλίου 1950) είναι Ελληνοαμερικανός επιστήμονας υπολογιστών, ο οποίος είναι σήμερα διακεκριμένος ερευνητής, καθηγητής στο Πανεπιστήμιο της Καλιφόρνιας (Σάντα Κρουζ), και κύριος ερευνητής στο Ερευνητικό Κέντρο IBM Almaden. Τα ερευνητικά του ενδιαφέροντα περιλαμβάνουν μεταξύ των άλλων: -αρχές συστημάτων βάσεων δεδομένων, -λογική στην επιστήμη των υπολογιστών και -υπολογιστική πολυπλοκότητα.
Εκπαίδευση
[Επεξεργασία | επεξεργασία κώδικα]Ο Κολαΐτης απέκτησε το πτυχίο του στα Μαθηματικά από το Πανεπιστήμιο Αθηνών το 1973. Στη συνέχεια έλαβε μεταπτυχιακό και διδακτορικό δίπλωμα στα Μαθηματικά από το Πανεπιστήμιο της Καλιφόρνια στο Λος Άντζελες το 1974 και το 1978, αντίστοιχα.[1]
Ερευνητική σταδιοδρομία
[Επεξεργασία | επεξεργασία κώδικα]Είναι βασικό μέλος του ερευνητικού προσωπικού στην ομάδα θεωρίας στο Ερευνητικό Κέντρο IBM Almaden. Είναι γνωστός για την εργασία του στις αρχές των συστημάτων βάσεων δεδομένων, τη λογική στην επιστήμη των υπολογιστών, την υπολογιστική πολυπλοκότητα και άλλα συναφή πεδία.[2]
Το ερευνητικό του έργο έχει υψηλή αναγνώριση στη διεθνή επιστημονική κοινότητα (9.700 citations).[3]
Επιλεγμένες δημοσιεύσεις
[Επεξεργασία | επεξεργασία κώδικα]- Data exchange: semantics and query answering, R Fagin, PG Kolaitis, RJ Miller, L Popa, Theoretical Computer Science 336 (1), 89-124[4]
- Conjunctive-query containment and constraint satisfaction, PG Kolaitis, MY Vardi, Journal of Computer and System Sciences 61 (2), 302-332[5]
- Data exchange: getting to the core, R Fagin, PG Kolaitis, L Popa, ACM Transactions on Database Systems (TODS) 30 (1), 174-210[6]
- Composing schema mappings: Second-order dependencies to the rescue, R Fagin, PG Kolaitis, L Popa, WC Tan, ACM Transactions on Database Systems (TODS) 30 (4), 994-1055[7]
- On the decision problem for two-variable first-order logic, E Grädel, PG Kolaitis, MY Vardi, Bulletin of symbolic logic, 53-69[8]
Διεθνής αναγνώριση
[Επεξεργασία | επεξεργασία κώδικα]- 1993 Guggenheim Fellowship, John Simon Guggenheim Memorial Foundation
- 2005 Fellow, Association for Computing Machinery[9]
- 2007 Foreign Member, Finnish Academy of Science and Letters
- 2008 Association for Computing Machinery PODS Alberto O. Mendelzon Test-of-Time Award for the paper “Conjunctive-Query Contain-ment and Constraint Satisfaction” (co-authored with Moshe Y. Vardi)
- 2010 Fellow, American Association for the Advancement of Science [10]
- 2013 International Conference on Database Theory Test-of-Time Award for the paper “Data Exchange: Semantics and Query Answering” (co-authored with R. Fagin, R.J. Miller, and L. Popa)
- 2014 Honorary Doctoral Degree, Department of Mathematics and Department of Informatics & Telecommunications, University of Athens, Greece[11]
- 2014 Association for Computing Machinery PODS Alberto O. Mendelzon Test-of-Time Award for the paper “Composing Schema Mappings: Second-Order Logic to the Rescue” (co-authored with R. Fagin, L. Popa, and W.-C. Tan)
- 2017 Foreign Member, Academia Europaea
- 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation (Co-Winner)[12]
Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- ↑ «Curriculum Vitae. Phokion G. Kolaitis» (PDF).
- ↑ «Phokion Kolaitis Special Event at SIGMOD 2019».
- ↑ «Phokion Kolaitis». Google Scholar. Ανακτήθηκε στις 21 Μαρτίου 2022.
- ↑ Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian (2005-05-25). «Data exchange: semantics and query answering» (στα αγγλικά). Theoretical Computer Science 336 (1): 89–124. doi:. ISSN 0304-3975. https://www.sciencedirect.com/science/article/pii/S030439750400725X.
- ↑ Kolaitis, Phokion G.; Vardi, Moshe Y. (2000-10-01). «Conjunctive-Query Containment and Constraint Satisfaction» (στα αγγλικά). Journal of Computer and System Sciences 61 (2): 302–332. doi:. ISSN 0022-0000. https://www.sciencedirect.com/science/article/pii/S0022000000917136.
- ↑ Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian (2005-03-01). «Data exchange: getting to the core». ACM Transactions on Database Systems 30 (1): 174–210. doi:. ISSN 0362-5915. https://doi.org/10.1145/1061318.1061323.
- ↑ Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew (2005-12-01). «Composing schema mappings: Second-order dependencies to the rescue». ACM Transactions on Database Systems 30 (4): 994–1055. doi:. ISSN 0362-5915. https://doi.org/10.1145/1114244.1114249.
- ↑ Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. (1997). «On the Decision Problem for Two-Variable First-Order Logic». The Bulletin of Symbolic Logic 3 (1): 53–69. doi:. ISSN 1079-8986. https://www.jstor.org/stable/421196.
- ↑ «2005 ACM Fellows».
- ↑ «AAAS Fellows».
- ↑ «NKUA Doctorate».
- ↑ «2020 Alonzo Church Award».