Nikolaos Papaspyrou
Software Engineer at Google, in Chrome/V8 (MUC). Professor (on leave) at the School of Electrical and Computer Engineering of the National Technical University of Athens and a member of the Software Engineering Laboratory. I am interested in the theory and implementation of programming languages: semantics, type systems, compilers, static analysis, formal verification.
Research Areas
Authored Publications
Sort By
Google
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykoyrgos Mastorou
Niki Vazou
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, ACM Press, New York, NY, USA (2022), pp. 1-12
