Resume
Education
| Year | Degree | Institution |
|---|---|---|
| 2004 | Ph.D. in Mathematics | Faculty of Science, University of Leeds, U.K. |
| 2000 | Mathematics Degree | University of Thessaloniki, Greece |
Employment
| Year | Position | Institution |
|---|---|---|
| 2018 | Professor | Chinese Academy of Sciences |
| 2016 | Senior Lecturer | Victoria University of Wellington |
| 2015 | Associate Professor | Chinese Academy of Sciences |
| 2013 | Lecturer | Victoria University of Wellington |
| 2011 | Research Fellow | Victoria University of Wellington |
| 2011 | Research Fellow | Chinese Academy of Sciences |
| 2009 | Lecturer | University of Amsterdam |
| 2008 | Lecturer | Victoria University of Wellington |
| 2007 | Research Fellow | Victoria University of Wellington |
| 2004 | Research Fellow | University of Leeds |
Research Interests
Service
| Year | Service |
|---|---|
| 2026 | Tenure committee, Univ. of Athens, Philosophy |
| 2026 | Tenure committee, Univ. of Crete, Mathematics |
| 2026 | Tenure committee (co-chair), Univ. of Athens, Mathematics |
| 2025 | Tenure committee (co-chair), Univ. of Crete, Mathematics |
| 2024 | Tenure committee, Univ. of Crete, Mathematics |
| 2023 | Tenure committee, Aristotle Univ. of Thessaloniki, Mathematics |
| 2023 | Organizer of the Beijing Logic Meeting, Beijing (CAS) |
| 2022 | Electoral committee, University of Crete, in Mathematical Logic |
| 2020 | PC co-chair for PLS 2021 (13th Panhellenic Logic Symposium, Volos) |
| 2019 | PC member for CCR 2019 (Astana) |
| 2018 | PC member for PLS 2019 (12th Panhellenic Logic Symposium, Crete) |
| 2017 | PC member for FAW (International Frontiers of Algorithmics) |
| 2017 | Organizer of the Networks Seminar Chinese Academy of Sciences |
| 2016 | University Wellbeing Staff Committee at Victoria University of Wellington |
| 2015 | PC for CiE 2016 (Computability in Europe), Paris |
| 2015 | PC for CCR 2015 (Computability, Complexity and Randomness), Heidelberg |
| 2014 | Managing Editor of TCS volume (for TAMC 2012) |
| 2012 | PC for the TAMC conference in Beijing |
| 2012 | Organizing committee for the Turing year in China and TAMC conference |
| 2009 | Organizer of the Logic seminar, University of Amsterdam (until 2011) |
| 2007 | Organizing committee for the CiE (Computability in Europe) conference in Siena |
| 2007 | PhD examiner for Maria Libera Affatato, University of Siena |
| 2002 | Chair of the Staff/Postgraduate Committee University of Leeds |
Awards
| Year | Award |
|---|---|
| 2022 | Distinguished Research Professor (CAS) |
| 2020 | NSFC grant on "Reverse mathematics" (with W. Wang) |
| 2019 | NSFC grant on "Non-Uniform coding" |
| 2018 | NSFC research fund for young scientists |
| 2017 | NSFC grant for the 1000 young talents program |
| 2016 | ISCAS grant for the 1000 young talents program |
| 2015 | 1000 young talents award (Central Organization Department) |
| 2014 | NSFC research fund for young scientists |
| 2013 | Royal Society prize for Picturing Science poster in Infographics |
| 2013 | NSFC research fund for young scientists |
| 2012 | International young Scientist Award (CAS) |
| 2011 | Research Fellowship for young Scientists (CAS) |
| 2004 | EPSRC Research Fellowship |
Invited Lectures
| Year | Event |
|---|---|
| 2025 | Logic Colloquium (Annual ASL meeting), Vienna |
| 2025 | Chinese Annual Conference on Mathematical Logic, Harbin |
| 2025 | Tianyuan Mathematics Center (Computability and Set Theory), Kunming |
| 2024 | Logic Seminar, Singapore NUS |
| 2023 | Computability, Complexity and Randomness (CCR'23) Kochel, Germany |
| 2023 | From omega to Omega. NUS, Singapore |
| 2023 | Recursion theory workshop. Inst. Adv. Study Math.(IASM), Hangzhou |
| 2023 | Workshop on Digitalization and Computable Models (WDCM-2023), Kazan |
| 2023 | Asian Logic Colloquium, Tianjin |
| 2022 | Congress of Greek Mathematicians, Athens |
| 2021 | Delta Logic Workshop, Nanjing |
| 2021 | Joint meeting of the German and Austrian Math. Soc., Passau |
| 2021 | BIRS-IASM Workshop, "Frontiers in Proofs and Computation", Hangzhou |
| 2021 | Workshop "Algorithmic randomness" by the American Math. Soc. (online) |
| 2019 | Chinese Annual Conference on Mathematical Logic, Chongqing |
| 2019 | Computability Theory and Foundations of Mathematics, Wuhan |
| 2019 | Delta Logic Workshop, Nanjing |
| 2018 | Computability Theory and Foundations of Mathematics, Tokyo |
| 2018 | Chinese Logic Conference, Guizhou |
| 2018 | South East Logic Symposium (SEALS), Florida |
| 2018 | Mathematisches Forschungsinstitut Oberwolfach |
| 2017 | Dagstuhl Seminar 17081: Computability Theory, Dagstuhl |
| 2016 | Banff Int. Research Station for Math. Innovation and Discovery, Oaxaca |
| 2016 | South East Logic Symposium (SEALS), Florida |
| 2016 | Mathematics Colloquium, University of Florida |
| 2015 | The Second Delta Logic Workshop, Fudan, Shanghai |
| 2015 | Int. Conf. on Computability, Complexity and Randomness, Heidelberg |
| 2014 | IMS meeting in NUS (Singapore) on Algorithmic Randomness |
| 2014 | Shonan meeting "Algorithmic Randomness and Complexity", Japan |
| 2013 | Int.Conf. on Computability, Complexity and Randomness, Moscow |
| 2012 | Int. Conf. on Computability, Complexity and Randomness, Cambridge |
| 2012 | Asian Logic Conference 2012, Sun-Yat Sen, September |
| 2012 | Oberwolfach meeting: Computability |
| 2012 | Dagstuhl Seminar: Computability, Complexity and Randomness |
| 2012 | Modern Developments in Computability Theory and Applications, Guangzhou |
| 2012 | Mathematical Legacy of Turing (Public opening of SAS) Cambridge |
| 2011 | Logic Colloquium, European ASL meeting, Barcelona |
| 2011 | Panhellenic Logic Symposium, Ioannina |
| 2010 | Conference on Computability, Complexity and Randomness, Notre Dame |
| 2009 | European Association of Symbolic Logic meeting, Sofia |
| 2009 | Computability in Europe (CiE) meeting in Heidelberg |
| 2009 | Int. Conference on Computability, Complexity and Randomness, Marseille |
| 2008 | Int. conference on Computability, Complexity and Randomness, Nanjing |
| 2007 | Joint meeting of the New Zealand and American Mathematical Societies |
| 2007 | American ASL meeting, Gainesville, Florida |
| 2007 | Conference on Theory and App. of Models of Computation TAMC07, Shanghai |
| 2006 | American annual meeting of the Association for Symbolic Logic, Montreal |
| 2005 | Conference on Theory and App. of Models of Computation TAMC05, Kunming |
Teaching and Mentoring
At my teaching history page you can find information about the
- students and postdocs I have supervised
- undergraduate and graduate classes I have taught
at various institutions, over the years.