CV

Research Interests

My interests revolve around the semantics of programming languages and compiler verification, especially in the setting of concurrency. I am also interested in functional programming, logic, and applications of formal verification on security protocols and systems.

Education

Work Experience

Publications

Click here

Academic Service

  • Artifact Evaluation Committee POPL 2017
  • Sub-reviewer CPP 2016

Coursework

Princeton

  • Fundamentals of Machine Learning
  • Advanced Computer Systems
  • Automated Reasoning about Software

MPRI

NTUA 

  • Programming Languages II
  • Compilers
  • Applications of Logic in Computer Science
  • Mathematical Logic for Computer Science
  • Advanced Topics in Database Systems
  • Operating Systems Laboratory
  • Elements of Number Theory and Applications to Cryptography

Online Courses

 Summer Schools

Scholarships

  • Stanley J. Seeger Graduate Award
  • Labex Digicosme - Master Scholarship
  • Utrecht University - Summer School Scholarship