Stefaneas Petros

Last updated 31/10/2026

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.