February 8 – 13 , 2015, Dagstuhl Seminar 15071
Last update: July 21 2015
Formal Foundations for Networking
Participants
- 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