Ελληνικά 
Stefaneas Petros
Lecturer
- Position: Lecturer
- Email:
- Website: www.math.ntua.gr/~petros
- Phone: +30-210-772-1869
- Office: 3.30
Research Area
- Analysis of Algorithms
Education
Research Interests
- Applications of logic in computer science. Formal Methods. Algebraic Specifications. Proof and Rules over the Web. Computational creativity. Philosophy of computer science. Social and ethical sides of computation.