Konstantinos Athanasiou
PhD Student
Education
- BS, National Technical University of Athens — Greece
Pronouns
he/him/his
Biography
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.