mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Georgios Koletsos Anonymously browsing from 54.196.127.107 at 11:21:01, 23-11-2017. login

Georgios Koletsos

Georgios Koletsos

Director
Member of the special inter-departmental committee
Director
Member of the special inter-departmental committee
Director
Member of the special inter-departmental committee
  • Professor, School of Electrical and Computer Engineering, NTUA

courses given

Course Semester
Λ1. 2014-2015, spring semester
Λ14. 2014-2015, spring semester
Λ14. 2013-2014, spring semester
Λ13Α. 2013-2014, fall semester
Λ14. 2012-2013, spring semester
Λ15. 2012-2013, fall semester
Λ14. 2011-2012, spring semester
Λ15. 2009-2010, fall semester
Λ14. 2008-2009, spring semester
Λ08Ν. 2008-2009, spring semester
Λ14. 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
Λ14. 2001-2002, spring semester
Λ14. 1999-2000, spring semester
Λ15. 1998-1999, spring semester
Λ14. 1997-1998, fall semester
21 courses.

seminars given

No seminars given.

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
The admissible rules of intermediate logics Nikolaos Vaporis 2006-09-01
A linear analysis of classical proofs Georgios Tsotakos 2005-10-01
Propositional proof complexity Ioannis Souldatos 2002-07-01
Intuitionistic analysis - Basic principles and realizability interpretations Garyfallia Vafeiadou 2001-12-01
Formal verification and scheduling for real-time systems Eleni Kalyvianaki 2000-07-01
7 MSc theses.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

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