|
|
Attendees
- Ali Ahmadzadeh, University of Pennsylvania
- Rajeev Alur, University of Pennsylvania
- Mohammed Amduka, Lockheed Martin Advanced Technology Laboratories
- Dave Arney, University of Pennsylvania
- George Avrunin, University of Massachusetts
- Mikhail Bernadsky, University of Pennsylvania
- Sebastian Burckhardt, University of Pennsylvania
- James J Berger, DMLSS/DBSS
- Pavol Cerny, University of Pennsylvania
- Swarat Chaudhuri, University of Pennsylvania
- Edmund Clarke, Carnegie Mellon University
- Lori A. Clarke, University of Massachusetts
- Robert Cook, Georgia Southern University
- Elizabeth S. DiDonato, Defense Blood Standard System
- Matthew Dwyer, Kansas State University
- Ansgar Fehnker, Carnegie Mellon University
- Alwyn E. Goodloe, University of Pennsylvania
- Gunjan Gupta, University of Pennsylvania
- John Hatcliff, Kansas State University
- David W. Hislop, U.S. army Research Office
- Yerang Hur, University of Pennsylvania
- Paul Jones, U.S. Food and Drug Administration
- Sampath Kannan, University of Pennsylvania
- Jesung Kim, University of Pennsylvania
- Donald K. Krecker, Lockheed Martin Advanced Technology Laboratories
- Bruce Krogh, Carnegie Mellon University
- Insup Lee, University of Pennsylvania
- Bruce Lewis, US Army Aviation and Missile Command
- Parthasarathy Madhusudan, University of Pennsylvania
- Michael McDougall, University of Pennsylvania
- Usa Sammapun, University of Pennsylvania
- Insik Shin, University of Pennsylvania
- Kang G. Shin, University of Michigan
- Scott Smolka, SUNY Stony Brook
- Oleg Sokolsky, University of Pennsylvania
- Min Kyu Song, ADCUS, Inc
- Eugene Stark, SUNY Stony Brook
- Jeannette M. Wing, Carnegie Mellon University
- Hakan Yazarel, University of Pennsylvania
- Hakan Younes, Carnegie Mellon University
|
|