I am a fifth year PhD student in the Computer Science department of Princeton University, advised by Professor David Walker. My research interests revolve around programming languages and verification. In my current work, I am applying techniques from these fields (language design, static analysis tools etc.) to help network operators keep calm. The main outcome of this work is a new intermediate verification language for network control planes called NV. On top of NV, we've built Origami a network compression tool to scale fault tolerance analysis to very large networks.
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:
You can find my (likely outdated) CV here.
Ryan Beckett,Nick Giannarakis, Devon Loehr, David Walker
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
CAV 2019GitHub [Extended version] [Slides]
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Cătălin Hriţcu, Benjamin Pierce, Antal Spector-Zabusky, Andrew Tolmach
IEEE S&P 2015GitHub
PhD in Computer Science @ Princeton University
Master in Computer Science @ Master Parisien de Recherche en Informatique (MPRI M2), ENS Cachan
Bachelor/Master in Electrical and Computer Engineering @ National Technical University of Athens