mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Persons » Georgios Koletsos

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

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.

Further information

Reporter

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