Nikolaos Papaspyrou is an associate professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), since 2002, and a member of the Software Engineering Laboratory. He has a PhD in Computer Science from the NTUA (1998), a M.Sc. in Computer Science from Cornell University (1995) and a Diploma in Electrical and Computer Engineering from the NTUA (1993). He has worked as a postdoctoral researcher at Yale University (2000-2001) and as a visiting researcher on sabbatical at Google’s compiler group (2015-2016). His interests lie in the area of programming language theory and implementation: semantics, type systems, compilers, static analysis, formal verification. Since 2006, he volunteers as a coach, problem setter and evaluator of students who participate in the Greek national contest in Informatics, organizes the preparation camp for the contest’s finalists, and participates as leader or deputy leader in many delegations of the Greek national teams to such programming contests.