Nick Giannarakis

About me

Starting September 2020, I'll be joining UW-Madison as a postdoctoral fellow supported by an NSF Computing Innovation Fellowship. My mentors are Professors Loris D'Antoni and Aditya Akella.

Before joining Madison I was a PhD student in the Computer Science department of Princeton University, advised by Professor David Walker. My research interests revolve around programming languages, verification, and their applications in networked systems. During my PhD, I developed a new language to model a network's routing behavior and to simplify the development of new network analyses (see our PLDI 2020 paper on NV). Check out a recent blog post about some of our research on network verification. On top of NV, we've also built Origami a network compression tool to scale fault tolerance analysis to very large networks.

You can find more details in my dissertation.

Previously I worked with Professor Andrew Appel on the design of an operational semantics for concurrent languages suitable for end-to-end verification. We used these semantics 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

Before Princeton, I obtained a Masters in Computer Science as a student in ENS Cachan, and a diploma in Electrical and Computer Engineering from National Technical University of Athens. I have worked as a research intern at Microsoft Research, Amazon AWS, MPI-SWS, and INRIA.

You can find my CV here.