Nick Giannarakis On (tenure-track)-track

About me

I am a fourth year PhD student in Computer Science advised by Professor David Walker. My research interests revolve around programming languages and verification, and currently we are working on applying techniques from these fields (language design, static analysis tools etc.) to help network operators keep calm. You can read more about some of the stuff we are working on here.

Previously I worked with Professor Andrew Appel on the design of an operational semantics for concurrent languages suitable for end-to-end verification. We demonstrated the power of these semantics, by applying them to CompCert's C language in order to prove:

  • the soundness of VST's concurrent separation logic
  • the correctness of CompCert with respect to a concurrent C program
  • and the absence of data-races in the resulting assembly program

You can find my CV here.



June 2017 - September 2017

Research Intern @ Microsoft Research

March 2015 - August 2015

Research Intern @ MPI-SWS

April 2014 - September 2014

Research Intern @ INRIA


2015 -

PhD in Computer Science @ Princeton University


Bachelor/Master in Electrical and Computer Engineering @ National Technical University of Athens