08. – 13. Februar 2015, Dagstuhl Seminar 15071
Letzte Aktualisierung: 21. Juli 2015

Formal Foundations for Networking

Participants

  • Aditya Akella (University of Wisconsin – Madison, US) [dblp]
  • Nikolaj S. Bjorner (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]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner