Skip to main content


Office Location

440 Huntington Avenue
330 West Village H
Boston, MA 02115


  • BS, National Technical University of Athens — Greece

About Me

  • Hometown: Athens, Greece
  • Field of Study: Formal Methods
  • PhD Advisor: Thomas Wahl


Konstantinos Athanasiou is a PhD student studying formal methods at Northeastern University’s Khoury College of Computer Sciences, advised by Professor Thomas Wahl. Before joining Northeastern, Konstantinos completed his undergraduate studies at the National Technical University of Athens in Greece. Konstantinos’ research interests lie in software verification, and he has worked in concurrent program verification.

What are the specifics of your graduate education (thus far)?

  • Advanced Algorithms
  • Theory of Computation
  • Intensive Computer Systems
  • Special Topics in Programming Languages
  • Software Model Checking

What are your research interests?

My current work revolves around formal verification of software counter-measures against Side-channel Attacks. Starting my PhD, I wanted my work to revolve around applications of Satisfiability Modulo Theories (SMT) solvers to software verification. The shift towards a security-related application, like Side-channels, is very close to the path I envisioned.

What’s one problem you’d like to solve with your research/work?

I would like to provide tools for automated and quantitative security evaluation of implementations of encryption algorithms.

What aspect of what you do is most interesting?

The intersection of formal methods and security is somewhat unexplored. Formulating security related question from a formal methods perspective has been so far the most exciting and unexpectedly fascinating part.