High-Confidence Embedded Systems (HCES)
Attendees
Carnegie Mellon University

May 1 - 2, 2003



Rajeev Alur
University of Pennsylvania		 Jung Soo Kim
Carnegie Mellon University
Dave Arney
University of Pennsylvania		 Daniel Kroening
Carnegie Mellon University
George Avrunin
University of Massachusetts Amherst		 Bruce Krogh
Carnegie Mellon University
Valdis Berzins
Naval Postgraduate School		 Rajesh Kumar
Carnegie Mellon University
Paul Black
U.S. Department of Commerce / NIST		 Insup Lee
University of Pennsylvania
Sagar Chaki
Carnegie Mellon University		 Flavio Lerda
Carnegie Mellon University
Swarat Chaudhuri
University of Pennsylvania		 Tendai Mafarachisi
Lockheed Martin
Ed Clark
Carnegie Mellon University		 Stephen Magill
Carnegie Mellon University
Bob Cook
Georgia Southern University		 Bill Milam
Ford Motor Company
Gary Daugherty
Rockwell Collins		 Joel Ouaknine
Carnegie Mellon University
Matthew Dwyer
Kansas State University		 Wonhong Nam
University of Pennsylvania
Lindsay Errington
Kestrel Institute		 Madhusudan Parthasarathy
University of Pennsylvania
Ansgar Fehnker
Carnegie Mellon University		 Lisa Qiao
Naval Postgraduate School
David Garlan
Carnegie Mellon University		 Mr. Robby
Kansas State University
Alwyn Goodloe
University of Pennsylvania		 Usa Sammapun
University of Pennsylvania
Alex Groce
Carnegie Mellon University		 Sanjit Seshia
Carnegie Mellon University
Zonghua Gu
University of Michigan		 Oleg Sheyner
Carnegie Mellon University
Elsa Gunter
New Jersey Institute of Technology		 Kang  Shin
University of Michigan
Anubhav Gupta
Carnegie Mellon University		 Reid Simmons
Carnegie Mellon University
Zhi Han
Carnegie Mellon University		 Nishant Sinha
Carnegie Mellon University
John Hatcliff
Kansas State University		 Oleg Sokolsky
University of Pennsylvania
David Hislop
U.S. Army Research Office		 Kevin Steppe
Carnegie Mellon University
Hyoung Hong
University of Pennsylvania		 Li Tan
University of Pennsylvania
Franjo Ivancic
University of Pennsylvania		 Murali Talupur
Carnegie Mellon University
Dong Jia
Carnegie Mellon University
 Chee Wan Teng
Carnegie Mellon University
Timothy Johnson
GE Global Research
 Michael Theobald
Carnegie Mellon University
Paul Jones
U.S. FDA
 Tim Thimmesch
Department of Defense
Sampath Kannan
University of Pennsylvania
 Jeannette Wing
Carnegie Mellon University
James Kapinski
Carnegie Mellon University
 Ted Wong
Carnegie Mellon University
Jesung Kim
University of Pennsylvania
 Karen Yorav
Carnegie Mellon University

Hakan Younes
Carnegie Mellon University
 

For program concerns, please contact Bruce Krogh <krogh@ece.cmu.edu>.
For web site difficulties, please contact Margaret Weigand <weigand@cs.cmu.edu>.

[Logistics & Hotel]      [Main Page]      [Registration] 

[Top of Page] 
Updated:  30-Apr-03