C.V.

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, U.C.L.A. (1/1988-8/1988).
Associate Professor, Department of Mathematics, University of Crete (2/1990-9/1994).
Associate Professor, PHS Department, University of Athens (10/1994-9/2000).
Professor, PHS Department, University of Athens (10/2000-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 24 papers for various journals and collections of papers, including Annals of Pure and Applied Logic, Fundamenta Mathematicae, Journal of Symbolic Logic, Mathematical Logic Quarterly, Theoretical Computer Science.
Referee of 37 papers 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) and 23rd World Congress of Philosophy (Athens, 2013).
Reviewer of 83 papers and 3 books for Mathematical Reviews, 2 books for Journal of Symbolic Logic and 2 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 Studies in Weak Arithmetics II, Lecture Notes ??, CSLI Publications, Stanford (to appear).

Supervision of Theses

Supervisor of the B.Sc. theses of the following students in the HPS Department (in chronological order): K. Manouvelos, Ch. Tsoulouchas, E. Hatzimalona-G. Dikou, E. Fafaliou, Th. Babatzia, I. Alexiadis, C. Giavridis, G. Doulkeris and K. Antonopoulou.
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 and R. Sklinos (MPLA) and Ch. Siakfas and I. Barbaressos (HPST).
Supervisor of the Ph.D. theses of Ch. Cornaros (University of Crete, 1994) and A. Sirokofskich (MPLA, 2007).
Supervisor of the Ph.D. thesis of V. Paschalis (MPLA) and co-supervisor of the Ph.D. thesis of Ch. Tsoulouchas (School of Philosophy, University of Athens).

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, PHS Department (9/2002-8/2008).
Associate Chair of PHS Department (9/2005-8/2009).
Editor of Study Guide of PHS Department (2007-present).
Chair of PHS Department (9/2009-present).
Chair of Special Inter-Departmental Committee of HPST (9/2012-present).
Vice-chair of Greek Philosophical Society (1/2013-present).

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 and 6th PLS.
Member of the Scientific Committee of the 1st, 2nd, 3rd, 4th, 5th, 6th, 7th, 8th and 9th PLS.
Chair of the Organizing Committee and member of the Programme Committee of Logic Colloquium 2005 (Athens).
Co-chair (with A. Beckmann) of the Programme 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 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).