Stefaneas Petros

- Email:
- petros@math.ntua.gr
- Telephone:
- +30-210-772-1869
Research Area
- Analysis of Algorithms
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.