Attendees List

 

•         Modeling

  1. Arvind, MIT
  2. Jaijeet Roychowdhury, UC Berkeley
  3. Rob Rutenbar, Carnegie Mellon University
  4. Jason Hibbeler, IBM
  5. David Pan, UT Austin

 

•         Synthesis and optimization

  1. Robert Brayton, UC Berkeley
  2. Jason Cong, UC Los Angeles
  3. Igor Markov, University of Michigan
  4. Mary Jane Irwin, Penn State University
  5. Jochen Jess, Eindhoven University of Technology

 

•         Verification

  1. Ed Clarke, Carnegie Mellon University
  2. Andreas Kuehlmann, Cadence
  3. Sharad Malik, Princeton
  4. Carl Seger, Intel
  5. Tim Cheng, UC Santa Barbara

 

•         Software

  1. Shaz Qadeer, Microsoft
  2. Rupak Majumdar, UC Los Angeles

 

•         Emerging areas

  1. Jim Heath, California Institute of Technology
  2. Louis Scheffer, Cadence
  3. Chris Myers, University of Utah
  4. Jyuo-Min Shyu, National Tsing Hua University

 

•         Theory

  1. Vijaya Ramachandran, UT Austin
  2. Richard Lipton, Georgia Tech
  3. Suresh Venkatasubramanian, University of Utah

•         Overview/keynote

  1. Prith Banerjee, HP
  2. Bill Joyner, SRC

 

•         NSF people

  1. Sankar Basu, NSF
  2. Mitra Basu, John Hopkins University
  3. Tony Chan, UC Los Angeles
  4. William Chang, NSF
  5. Chitaranjan Das, NSF
  6. Sampath Kannan, NSF
  7. Pinaki Mazumder, NSF
  8. Jeannette Wing, NSF
  9. Lenore Zuck, NSF

 

•         UCLA Staff

  1. Cassandra Franklin, UC Los Angeles