Konstantinos Athanasiou

PhD Student

  • BS, National Technical University of Athens — Greece

he/him/his

Konstantinos Athanasiou is a doctoral student studying formal methods at Northeastern University's Khoury College of Computer Sciences, advised by Thomas Wahl. Before joining Northeastern, Konstantinos completed his undergraduate degree at the National Technical University of Athens in Greece. Konstantinos conducts research on formal verification of software countermeasures against side-channel attacks. When he began his doctoral studies, he wanted his work to revolve around applications of Satisfiability Modulo Theories (SMT) solvers to software verification. Within his research, he would like to provide tools for automated and quantitative security evaluation of implementations of encryption algorithms. Konstantinos finds the unexplored intersection of formal methods and security fascinating and enjoys formulating security-related questions from a formal methods perspective.