CPS Summit Team

CPS Summit Coordinators

Visible to the public 

Submitted by Site Manager on Thu, 04/23/2015 - 10:37am

Coordinator: 

  • Harald Rueß (fortiss)
  • Saddek Bensalem (UJF/Verimag)

Scientific Coordinators: 

  • Joseph Sifakis (EPF Lausanne / Verimag)
  • Manfred Broy (TU München / fortiss)

    CPS Summit Core Team

    Visible to the public 

    Submitted by Site Manager on Thu, 04/23/2015 - 10:44am

    Core Team Members:

    • John Baras (University of Maryland)
    • Sanjoy Baruah (University of North Carolina, Chapel Hill)
    • Saddek Bensalem (UJF/Verimag)
    • Manfred Broy (TU Munchen)
    • Werner Damm (Offis)
    • Eric Debes (Thales)
    • Radu Grosu (TU Wien)
    • Tom Henzinger (IST Austria)
    • Bruce H. Krogh (Carnegie-Mellon University)
    • Kim Larsen (Aalborg University)
    • Insup Lee (University of Pennsylvania)
    • George Pappas (University of Pennsylvania)
    • Harald Ruess (fortiss)
    • Alberto Sangiovelli-Vincentelli (University of California in Berkeley)
    • Joseph Sifakis (EPF Lausanne)
    • Janos Sztipanovits (Vanderbilt University)
    • Ashish Tiwari (SRI International)