""

Workshop Organizers

General Chair

  • John A. Stankovic, University of Virginia

Program Chairs

  • Brad Campbell, University of Virginia
  • Lu Feng, University of Virginia

Program Committee

  • Insup Lee, UPenn
  • Ufuk Topcu, University of Texas at Austin
  • Chris Gill, Washington University in St. Louis
  • Rose Faghih, NYU
  • Miroslav Pajic, Duke University
  • Janos Sztipanovits, Vanderbilt University
  • Hadas Kress-Gazit, Cornell University
  • Necmiye Ozay, University of Michigan
  • Sanjit A. Seshia, University of California, Berkeley