Curriculum Vitae | Publications | Bookmarks | Alternative
Current Position | Previous Positions | Research | Correspondence
Since April 2002, I am a lecturer at the School of Electrical and Computer Engineering of the National Technical University of Athens. I participate in the teaching of the following courses, for which I maintain a web site:
Diploma project assignments in the field of programming language theory and implementation (in Greek ). [Oct. 2006]
From March 2001 to April 2002, I worked as short-term professor at the Department of Electrical and Computer Engineering of the National Technical University of Athens.
From September 2000 to March 2001, I was a visiting postdoctoral researcher at the Department of Computer Science of Yale University. A few things related to my research of that time can be found in my web page at Yale.
From February 2000 to September 2000, I worked as short-term professor at the Department of Electronic and Computer Engineering of the Technical University of Crete, in the city of Chania. I taught a couple of programming courses for which I maintained a web site (in Greek ).
At the same time, I was a research and teaching assistant at the Software Engineering Laboratory of the National Technical University of Athens.
My current research focuses mainly on the following subjects:
Other active research interests are:
My doctoral dissertation, completed in February 1998, focused on the denotational semantics of the ANSI C programming language. It was supervised by Prof. Manolis Skordalakis at the Software Engineering Laboratory of the NTUA.
In January 1995, I received a M.Sc. degree in Computer Science from the Department of Computer Science of Cornell University, Ithaca, NY. My supervisor there was Prof. David Gries, whose guidance greatly influenced my way of thinking and the direction of my research. My master's thesis concerned the development of a proof editor for propositional and predicate calculus.
My first studies in Computer Science were in the Department of Electrical and Computer Engineering of the National Technical University of Athens. I graduated in June 1993 and in my diploma thesis I developed an object-oriented program generator for discrete-event simulation problems, supervised by Prof. Manolis Skordalakis.
Research activities of the recent past also include the following:
Technical University of Athens
School of Electrical and Computer Engineering
Division of Computer Science, Software Engineering Laboratory
Polytechnioupoli, 15780 Zografou, Athens, GREECE
|Home:||Archimidous 7, Pangrati, 11635 Athens, GREECE|
+30-210-7723393 (office), +30-210-7722519 (fax)
Happiness is not a state to arrive at, but a manner of travelling.
-- Margaret Lee Runbeck.
Last updated: October 30, 2006 20:07.