This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Students » Garyfallia Vafeiadou

Garyfallia Vafeiadou: student profile

Garyfallia Vafeiadou

  • PhD, MPLA
Email: gvf (░át-symbol░) math┊░˙░┊uoa┊░˙░┊gr

phd

Graduated on: Thursday, 20 Dec 2012

Thesis

Title: Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles.

Defended: Monday, 02 Jul 2012.

msc

Enrolled in: October 1997
Graduated on: Friday, 21 Dec 2001

Thesis

Title: Intuitionistic analysis - Basic principles and realizability interpretations.

Defended: Saturday, 01 Dec 2001.

seminars given

No seminars given.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.