HOME /

Curriculum Vitae

Personal data

Date of birth: 25th November 1953
Place of birth: Athens, Greece

Education

Department of Mathematics, University of Athens (B.Sc. 1975)
Department of Mathematics, University of Manchester (Ph.D. 1980, Advisor: J. B. Paris)

Scholarships and prizes

  • First prize in the panhellenic competition of the Greek Mathematical Society (1971).
  • I.K.Y. scholarship (1971-1975).
  • Research studentship, University of Manchester (1977-1979).

Academic positions

  • Assistant Professor, Department of Mathematics, University of Crete (9/1984-12/1987 and 9/1988-1/1990).
  • Visiting Associate Professor, Department of Mathematics, UCLA (1/1988-8/1988).
  • Associate Professor, Department of Mathematics, University of Crete (2/1990-9/1994).
  • Associate Professor, HPS Department, University of Athens (10/1994-9/2000).
  • Professor, HPS Department, University of Athens (10/2000-8/2021).
  • Professor Emeritus, HPS Department, University of Athens (9/2021-present).

Lectures

I have given lectures, most of them invited, at the following institutions: Sofia University, Middle-East Technical University (Ankara), University of Manchester, Yale University, U.C.L.A., CalTech, U.C.B., Baruch College (New York), Occidental College (Los Angeles), University of Lisbon, University of Seville, Oxford University, Queen Mary and Westfield College, Rutgers University, Smith College, C.U.N.Y. Graduate Center, University of Helsinki, University of Siena, University of Pisa, University of Paris XII, Yugoslav Academy of Sciences (Belgrade) and Polish Academy of Sciences (Warsaw).I have also given about 40 lectures in the Logic Seminar of the University of Crete and in the Logic and Algorithms Seminar of the University of Athens (MPLA).

Other Scientific Activities

  • Referee of 31 papers for various journals, including Annals of Pure and Applied Logic, Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of Symbolic Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic, Theoretical Computer Science and Neusis (in Greek).
  • Reviewer of 280 (extended) abstracts for various conference proceedings volumes, including Arithmetic, Proof Theory and Complexity (Prague, 1991), 1st PLS (Nicosia, 1997), 2nd PLS (Delphi, 1999), 3rd PLS (Anogeia, 2001), Computability in Europe 2007 (Siena), 6th PLS (Volos, 2007), Computability in Europe 2008 (Athens), 2nd Panhellenic Conference of Philosophy of Science (Athens, 2012), 23rd World Congress of Philosophy (Athens, 2013), 33rd Weak Arithmetics Days (Gothenburg, June 2014) and 3rd Panhellenic Conference of Philosophy of Science (Athens, November 2014).
  • Reviewer of 111 papers and 3 books for Mathematical Reviews, 2 books and an extended paper for Journal of Symbolic Logic and 4 books for Metascience.
  • Co-editor (with L. Newelski, D. Normann and J.R. Steel) of Proceedings of Logic Colloquium 2005, Lecture Notes in Logic 28 (2008), Cambridge University Press.
  • Co-editor (with A. Beckmann and B. Loewe) of Proceedings of Computability in Europe 2008, Lecture Notes in Comp. Science 5028, Springer-Verlag, 2008.
  • Co-editor (with P. Cegielski and Ch. Cornaros) of New Studies in Weak Arithmetics, Lecture Notes 205, CSLI Publications, Stanford, 2013.
  • Co-editor (with K. Boudouris and E. Protopapadakis) of Selected papers from the XXIII World Congress of PHILOSOPHY, Journal of Philosophical Research, vol. 40, Special Supplement, 2015.

Supervision/Examination of Theses

  • Supervisor of the B.Sc. theses (HPS Department): K. Manouvelos, Ch. Tsoulouchas, E. Hatzimalona-G. Dikou, E. Fafaliou, Th. Babatzia, I. Alexiadis, C. Giavridis, G. Doulkeris, K. Antonopoulou, D. Kallegia, G. Feretzakis, E. Antoniou, C. Tentomas, T. Meimeti, E. Duri, E. Kymaki, A.-M. Douma and S. Grigoriadou.
  • Supervisor of the M.Sc. theses of D. Gratsea (University of Crete), A. Dimakakos, P. Sipsa, O. Raptis, G. Tzaxristas, K. Manouvelos, A.-M. Fasouli, R. Sklinos and V. Vlachos (MPLA), and Ch. Siakfas, I. Barbaressos and E. Triantafyllou (HPST).
  • Supervisor of the Ph.D. theses of Ch. Cornaros (University of Crete, 1994), A. Sirokofskich (MPLA, 2007) and V. Paschalis (MPLA, 2016).
  • Supervisor of the Ph.D. thesis of K. Petsi and Ch. Tsoulouchas (HPS Department).
  • Member of supervising committee of 8 Ph.D. theses.
  • Member of examination committee of 50 M.Sc. theses.
  • Member of examination committee of 42 Ph.D. theses.


Administrative work

  • Chair of Special Inter-Departmental Committee of MPLA (9/1999-8/2008).
  • Co-editor (with Y.N. Moschovakis) of the Study Guide of MPLA (2000-2003).
  • Director of Division of History of Science and Technology, HPS Department (9/2002-8/2008).
  • Associate Chair of HPS Department (9/2005-8/2009).
  • Editor of Study Guide of HPS Department (2007-present).
  • Chair of HPS Department (9/2009-2/2014).
  • Chair of Special Inter-Departmental Committee of HPST (9/2012-present).
  • Vice-chair of Greek Philosophical Society (1/2013-12/2014).
  • Vice-chair of PHS Department (3/2014-present).
  • Chair of Greek Philosophical Society (1/2015-12/2016).
  • Bursar of Greek Philosophical Society (1/2017-12/2018).
  • Chair of HPS Department (12/2017-8/2020).
  • Vice-chair of Greek Philosophical Society (1/2019-12/2020).
  • Bursar of Greek Philosophical Society (4/2022-3/2024).
  • Member of ASL Committee on Logic in Europe (6/2023-today).


 Conference and seminar organization

  • Organizer of the Logic Seminar, Department of Mathematics, University of Crete (10/1989-6/1994).
  • Co-organizer (with K. Skandalis) of the conference Logic in Computer Science (University of Crete, 1991).
  • Organizer of the Logic and Algorithms Seminar, MPLA, University of Athens (9/1997-7/2008).
  • Member of the Organizing Committee of the 2nd, 4th, 5th, 6th and 10th PLS.
  • Member of the Scientific Committee of the 1st, 2nd, 3rd, 4th, 5th, 6th, 7th, 8th, 9th and 10th PLS.
  • Chair of the Organizing Committee and member of the Program Committee of Logic Colloquium 2005 (Athens).
  • Co-chair (with A. Beckmann) of the Program Committee and Chair of the Organizing Committee of Computability in Europe 2008 (Athens).
  • Chair of the Organizing Committee of "27th Weak Arithmetics Days" (Athens, June 2008).
  • Member of the Programme Committee of Logic Colloquium 2010 (Paris, July 2010).
  • Member of the Scientific Committee of the 1st Panhellenic Conference of Philosophy of Science (Athens, October 2010).
  • Member of the Program Committee of "30th Weak Arithmetics Days" (Paris, June 2011).
  • Member of the Organizing Committee of the 3rd European Philosophy of Science Association Conference (Athens, October 2011).
  • Member of the Organizing and Programme Committee of "31st Weak Arithmetic Days" (Karlovassi, May 2012).
  • Member of the Scientific Committee of the 2nd Panhellenic Conference of Philosophy of Science (Athens, November 2012).
  • Chair of the Organizing Committee of "32nd Weak Arithmetics Days" (Athens, June 2013).
  • Member of the Organizing Committee of the 23rd World Congress of Philosophy (Athens, August 2013).
  • Member of the Organizing Committee of "33rd Weak Arithmetics Days" (Gothenburg, June 2014).
  • Member of the Scientific Committee of the 4th Panhellenic Conference of Philosophy of Science (Athens, December 2016).
  • Member of the Scientific Committee of the 5th Panhellenic Conference of Philosophy of Science (Athens, November 2018).
  • Member of the Scientific Committee of the 6th Panhellenic Conference of Philosophy of Science (Athens, December 2020).
  • Chair of the Organizing Committee of "40th Weak Arithmetics Days" (Athens, October 2021).
  • Co-chair of the Organizing Committee of "42nd Weak Arithmetics Days" (Karlovassi, September 2024).

(Last updated: September 11, 2024)