Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Γεώργιος Κολέτσος

Γεώργιος Κολέτσος

Γεώργιος Κολέτσος

Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
  • Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA

courses given

Course Semester
Λ1. 2014-2015, εαρινό εξάμηνο
Λ14. 2014-2015, εαρινό εξάμηνο
Λ14. 2013-2014, εαρινό εξάμηνο
Λ13Α. 2013-2014, χειμερινό εξάμηνο
Λ14. 2012-2013, εαρινό εξάμηνο
Λ15. 2012-2013, χειμερινό εξάμηνο
Λ14. 2011-2012, εαρινό εξάμηνο
Λ15. 2009-2010, χειμερινό εξάμηνο
Λ14. 2008-2009, εαρινό εξάμηνο
Λ08Ν. 2008-2009, εαρινό εξάμηνο
Λ14. 2007-2008, εαρινό εξάμηνο
Λ15. 2007-2008, χειμερινό εξάμηνο
Λ98Γ. 2006-2007, χειμερινό εξάμηνο
Λ14. 2005-2006, εαρινό εξάμηνο
Λ15. 2005-2006, χειμερινό εξάμηνο
Λ14. 2004-2005, εαρινό εξάμηνο
Λ04Α. 2004-2005, χειμερινό εξάμηνο
Λ14. 2001-2002, εαρινό εξάμηνο
Λ14. 1999-2000, εαρινό εξάμηνο
Λ15. 1998-1999, εαρινό εξάμηνο
Λ14. 1997-1998, χειμερινό εξάμηνο
21 courses.

seminars given

No seminars given.

MSc theses supervised

τίτλος student defense
Cut Elimination in Deep Inference Παναγιώτης Τσατσάνης 2011-11-22
On a logical foundation of the intersection types assignment system: Intersection Logics Αναστασία Βενέτη 2007-12-01
The admissible rules of intermediate logics Νικόλαος Βαπόρης 2006-09-01
A linear analysis of classical proofs Γεώργιος Τσοτάκος 2005-10-01
Propositional proof complexity Ιωάννης Σουλδάτος 2002-07-01
Intuitionistic analysis - Basic principles and realizability interpretations Γαρυφαλλιά Βαφειάδου 2001-12-01
Formal verification and scheduling for real-time systems Ελένη Καλυβιανάκη 2000-07-01
7 MSc theses.


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