Matthew L. Meola

Matthew Meola focused his masters research on provably fault-tolerant computing and development of high-level languages for configuration of computer networks. His work on client case teams at Elysium covers a wide variety of technology areas, including computer networks, firewalls, video streaming, web browsers, and computer architecture. Matt conducts prior art searches and other patent analysis, performs source and binary code analysis, and analyzes large data sets for clients.

Prior to joining Elysium, Meola was a research and teaching assistant at Princeton University and worked at IBM Research and Triveni Digital.

Selected Publications

"Frenetic: A High-Level Language for OpenFlow Networks." Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, and David Walker. In Proc. Workshop on Programmable Routers for Extensible Services (PRESTO '10), November 2010.
"Faulty Logic: Reasoning about Fault Tolerant Programs." Matthew L. Meola and David Walker. In Proc. 19th European Conference on Programming Languages and Systems (ESOP '10), March 2010.