Formal Foundations for Networking

• Aditya Akella (University of Wisconsin – Madison, US) [dblp]
• Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US) [dblp]
• Achim D. Brucker (SAP SE – Karlsruhe, DE) [dblp]
• Marco Canini (University of Louvain, BE) [dblp]
• Pavol Cerny (University of Colorado – Boulder, US) [dblp]
• Swarat Chaudhuri (Rice University – Houston, US) [dblp]
• Evgeny Chemeritskiy (ARCCN – Moscow Region, RU)
• Shiu-Kai Chin (Syracuse University, US) [dblp]
• Bryan Ford (Yale University, US) [dblp]
• Nate Foster (Cornell University, US) [dblp]
• Vijay Ganesh (University of Waterloo, CA) [dblp]
• Aaron Gember-Jacobson (University of Wisconsin – Madison, US) [dblp]
• Philip Brighten Godfrey (University of Illinois – Urbana-Champaign, US) [dblp]
• Arjun Guha (University of Massachusetts – Amherst, US) [dblp]
• Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US) [dblp]
• Karthick Jayaraman (Microsoft Research – Redmond, US) [dblp]
• Limin Jia (Carnegie Mellon University – Pittsburgh, US) [dblp]
• Ethan Katz-Bassett (University of Southern California – Los Angeles, US) [dblp]
• Shriram Krishnamurthi (Brown University – Providence, US) [dblp]
• Ori Lahav (MPI-SWS – Kaiserslautern, DE) [dblp]
• Nuno Lopes (Microsoft Research UK – Cambridge, GB) [dblp]
• Ratul Mahajan (Microsoft Corporation – Redmond, US) [dblp]
• Tim Nelson (Brown University – Providence, US) [dblp]
• Aurojit Panda (University of California – Berkeley, US) [dblp]
• Panagiotis Papadimitriou (Leibniz Universität Hannover, DE) [dblp]
• Mark Reitblatt (Cornell University, US) [dblp]
• Jennifer Rexford (Princeton University, US) [dblp]
• Timothy Roscoe (ETH Zürich, CH) [dblp]
• David Rosenblum (National University of Singapore, SG) [dblp]
• Kristin Yvonne Rozier (University of Cincinnati, US) [dblp]
• Andrey Rybalchenko (Microsoft Research UK – Cambridge, GB) [dblp]
• Mooly Sagiv (Tel Aviv University, IL) [dblp]
• Cole Schlesinger (Princeton University, US) [dblp]
• Stefan Schmid (TU Berlin, DE) [dblp]
• Sharon Shoham Buchbinder (Academic College of Tel Aviv, IL) [dblp]
• Robert Soulé (University of Lugano, CH) [dblp]
• David Walker (Princeton University, US) [dblp]
• Alexander L. Wolf (Imperial College London, GB) [dblp]
• Burkhart Wolff (University Paris-Sud, FR) [dblp]
• Yifei Yuan (University of Pennsylvania – Philadelphia, US) [dblp]
• Vladimir Zakharov (Moscow State University, RU) [dblp]
• Pamela Zave (AT&T Labs Research – Bedminster, US) [dblp]

In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner