Nikolaos Giannarakis

Graduate Student, Computer Science

Degree
MA, Computer Science, *17
Dissertation
An Intermediate Language for Network Verification
Advisor(s)
David Walker
Award
Stanley J. Seeger Graduate Prize