Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Yiorgos Stavrinos Anonymously browsing from at 16:26:42, 20-05-2019. login

Yiorgos Stavrinos

Photo of Stavrinos

Yiorgos Stavrinos

  • PhD, National and Technical University of Athens
  • MPLA
Email: (upside-down) ɹƃ˙ɐnʇu˙ɥʇɐɯ@souᴉɹʌɐʇs˙ƃ

courses given

Course Semester
Λ1. 2014-2015, spring semester
Λ14. 2014-2015, spring semester
Λ14. 2012-2013, spring semester
Λ15. 2012-2013, fall semester
Λ15. 2009-2010, fall semester
Λ14. 2008-2009, spring semester
Λ07Ο. 2007-2008, spring semester
Λ15. 2007-2008, fall semester
Λ98Γ. 2006-2007, fall semester
Λ14. 2005-2006, spring semester
Λ15. 2005-2006, fall semester
Λ14. 2004-2005, spring semester
Λ04Α. 2004-2005, fall semester
Λ15. 2003-2004, spring semester
Λ14. 2003-2004, fall semester
Λ15. 2002-2003, spring semester
Λ14. 2001-2002, spring semester
17 courses.

seminars given

date title
2009/02/06 Generalized developments in the lambda-calculus
1 seminar.

MSc theses supervised

title student defense
Cut Elimination in Deep Inference Panagiotis Tsatsanis 2011-11-22
On a logical foundation of the intersection types assignment system: Intersection Logics Anastasia Veneti 2007-12-01
A linear analysis of classical proofs Georgios Tsotakos 2005-10-01
3 MSc theses.


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.