George Koletsos () is a Professor in the School of Electrical and Computer Engineering at the National Technical University of Athens.
Koletsos received his B.Sc. in 1973 from the School of Electrical and Computer Engineering at the National Technical University of Athens and his M.Sc. and Phd in 1980 in mathematical logic from the University of Manchester. His research interests include lambda calculus, proof theory, type theory and the foundation of mathematics and Computer science. He has taught many courses on mathematical logic and theoretical computer science at the National Technical University of Athens. He was a researcher (1980-1982) and visiting professor (2002-2003) at the Paris Diderot University. He is the current chairman of the Graduate Program in Logic, Algorithms and Computation (MPLA).
|
