December 6 – 11 , 2009, Dagstuhl Seminar 09501
Last update: January 26 2011

Software Synthesis

Participants

  • Rastislav Bodik (University of California – Berkeley, US)
  • Satish Chandra (IBM TJ Watson Research Center – Yorktown Heights, US)
  • Ewen W. Denney (NASA – Moffett Field, US)
  • Bernd Finkbeiner (Universität des Saarlandes, DE)
  • Sumit Gulwani (Microsoft Corporation – Redmond, US)
  • Ashutosh Kumar Gupta (MPI-SWS – Saarbrücken, DE)
  • Shachar Itzhaky (Tel Aviv University, IL)
  • Barbara Jobstmann (VERIMAG – Grenoble, FR)
  • Joost-Pieter Katoen (RWTH Aachen, DE)
  • Uri Klein (New York University, US)
  • Viktor Kuncak (EPFL – Lausanne, CH)
  • Martin Leucker (TU München, DE)
  • Yanhong Annie Liu (SUNY – Stony Brook, US)
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
  • Nir Piterman (Imperial College London, GB)
  • Andreas Raabe (fortiss GmbH – München, DE)
  • Andrey Rybalchenko (MPI-SWS – Saarbrücken, DE)
  • Sven Schewe (University of Liverpool, GB)
  • Johann M. Schumann (NASA – Moffett Field, US)
  • Douglas R. Smith (Kestrel Institute, US)
  • Armando Solar-Lezama (MIT – Cambridge, US)
  • Saurabh Srivastava (University of Maryland – College Park, US)
  • Martin Vechev (IBM TJ Watson Research Center – Yorktown Heights, US)
  • Richard Waldinger (SRI – Menlo Park, US)
  • Eran Yahav (IBM TJ Watson Research Center – Hawthorne, US)
  • Greta Yorsh (IBM TJ Watson Research Center – Yorktown Heights, US)