Dr. Nikolaos S. Papaspyrou

Associate professor, National Technical University of Athens
dummy_image

Dr. Nikolaos S. Papaspyrou

Associate professor, National Technical University of Athens

Biography

Associate professor 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.