|
Research Challenges in High Confidence Systems
Appendix B: Attendees |
 
|
|
|
|
|||
 |
|
|---|---|
|
|
|
|
|
Bob Aiken
|
Bob Aiken DoE ATTN: ER-31 19101 Germantown Road Germantown, MD 208740-1290 (301) 903-9960 (301) 903-9960 Fax |
|
|
|
|
Mark Balkovich
|
Mark Balkovich National Research Council, NAS 2101 Constitution Ave., NW Washington, DC 20418 (202) 334-2558 (202) 334-2318 Fax |
|
|
|
|
Leo Beltracchi
|
Leo Beltracchi NRC 12112 Triple Crown Road Gaithersburg, MD 20878 (301) 415-6558 |
|
|
|
|
Robert Brill
|
Robert Brill NRC Office of Research M/S T10-E33 Rockville, MD 20852 (301) 415-6760 (301) 415-5160 Fax |
|
|
|
|
Wayne Bryant
|
Wayne Bryant NASA NASA Langley Research center Hampton, VA 23681-0001 (757) 864-1690 |
|
|
|
|
Ricky Butler
|
Ricky Butler NASA-LARC Mail stop 130 1 South Wright St. NASA Langley Research center Hampton, VA 23681-0001 (757) 864-6198 (757) 864-4234 Fax |
|
|
|
|
Mani Chandi
|
Mani Chandi California Institute of Technology Computer Science Department Mail Code 256-80 Pasadena, CA 91125 (818) 395-6559 (818) 792-4257 Fax |
|
|
|
|
Shiu-Kai Chin
|
Shiu-Kai Chin Syracuse Univ., Associate Professor Electrical Eng. & Computer Science 123 Link Hall Syracuse, NY 13244 (315) 443-3776 (315) 443-2583 Fax Rome Laboratory 525 Brooks Road Rome, NY 13441 (315) 330-3241 |
|
|
|
|
Bob Constable
|
Bob Constable Computer Science Department 4147 Upson Hall Cornell University Ithaca, NY 14853 (607) 255-9204 (607) 255-4428 Fax |
|
|
|
|
Mike DeWalt
|
Mike DeWalt FAA FAA ANM-106N 1601 Lind Ave. SW Renton, WA 98055 (425) 227-2762 (425) 227-1181 Fax |
|
|
|
|
Tice DeYoung
|
Tice DeYoung NASA 4312 Alta Vista Drive Fairfax, VA 22030 (202) 358-1363 (202) 358-3519 Fax |
|
|
|
|
Ed Felten
|
Ed Felten Department of Computer Science Princeton University 35 Olden Street Princeton, NJ 08544-2087 (609) 258-5906 (609) 258-1771 Fax |
|
|
|
|
Helen Gill
|
Helen Gill DARPA/ITO 3701 N. Fairfax Dr. Arlington, VA 22203-1714 (703) 696-7461 (703) 696-2202 Fax (703) 696-6416 Fax |
|
|
|
|
Henry Heffernan
|
Henry Heffernan NIH 19 Eye St., N.W. Washington, DC 20001 (202) 336-7208 (202) 789-1880 Fax |
|
|
|
|
Connie Heitmeyer
|
Connie Heitmeyer Naval Research Laboratory Code 5546 4555 Overlook Ave., SW Washington, DC 20375-5337 (202) 767-3596 (202) 404-7942 Fax |
|
|
|
|
Barry Johnson
|
Barry Johnson Department of Electrical Engineering Thornton Hall Univesity of Virginia Charlottesville, VA 22903-2442 (804) 924-7623 (804) 924-8818 Fax |
|
|
|
|
Dick Kieburtz
|
Dick Kieburtz Division of Computer and Computation Research National Science Foundation 4201 Wilson Blvd., Room 1145 Arlington, VA 22230 (703) 306-1910 (703) 306-1947 Fax |
|
|
|
|
John Knight
|
John Knight Department of Computer Science Thornton Hall University of Virginia Charlottesville, VA 22903 (804) 982-2216 (804) 982-2214 Fax |
|
|
|
|
Gary Koob
|
Gary Koob DARPA/ITO 3701 N. Fairfax Dr. Arlington, VA 22203-1714 (703) 696-7463 (703) 696-2202 Fax (703) 696-6416 Fax |
|
|
|
|
Rick Kuhn
|
Rick Kuhn NIST North Building, Room 509 Gaithersburg, MD 20899 (301) 975-3290 (301) 926-3696 Fax |
|
|
|
|
Peter Lee
|
Peter Lee Department of Computer Science Carnegie-Mellon University 5000 Forbes Ave. Pittsburgh, PA 15213 |
|
|
|
|
Nancy Leveson
|
Nancy Leveson Boeing Professor Computer Science & Engineering Dept. Box 352350 Univ. of Washington Seattle, WA 98195 (206) 685-1934 (206) 543-2969 Fax |
|
|
|
|
Teresa Lunt
|
Teresa Lunt DARPA/ITO 3701 N. Fairfax Dr. Arlington, VA 22203-1714 (703) 696-4469 (703) 696-2202 Fax (703) 696-6416 Fax |
|
|
|
|
Terry Mayfield
|
Terry Mayfield IDA/CSED 1801 N.Beauregard St. Alexandria, VA 22311 (703) 845-6602 (703) 845-6848 Fax |
|
|
|
|
Reg Meeson
|
Reg Meeson IDA/CSED 1801 N.Beauregard St. Alexandria, VA 22311 (703) 845-6619 (703) 845-6848 Fax |
|
|
|
|
Robert Meushaw
|
Robert Meushaw NSA/R2 9800 Savage Road Ft. Meade, MD 20755-6000 (301) 688-0840 |
|
|
|
|
John F. Murray, Jr.
|
John F. Murray, Jr. FDA center for Devices and Radiological Health (HFZ-141) 9200 Corporate Blvd Rockville, MD 20850 301-443-2536 x63 |
|
|
|
|
Hilarie Orman
|
Hilarie Orman DARPA 3701 N. Fairfax Dr. Arlington, VA 22203-1714 (703) 696-2234 |
|
|
|
|
Rob Rosenthal
|
Rob Rosenthal DARPA 3701 N. Fairfax Dr. Arlington, VA 22203-1714 (703) 696-2264 |
|
|
|
|
John Rushby
|
John Rushby SRI International Computer Science Laboratory 333 Ravenswood Avenue Menlo Park, CA 94025-3493 (415) 859-5456 (415) 859-2844 Fax (Judith Burgess, secretary) |
|
|
|
|
Fritz Schulz
|
Fritz Schulz DISA-JEXF 5600 Columbia Pike Falls Church, VA 22041 (703) 681-2350 (703) 681-2813 Fax |
|
|
|
|
John Silva
|
John Silva DARPA 3701 N. Fairfax Dr. Arlington, VA 22203-1714 (703) 696-2221 |
|
|
|
|
Brian Snow
|
Brian Snow Director, NSA/R2 National Security Agency ATTN: ISSO Technical Director Ft. Meade, MD 20755-6000 (301) 688-8112 (301) 688-3090 Fax |
|
|
|
|
Jeffrey Van Baalen
|
Jeffrey Van Baalen NASA-AMES Computer Science Department P.O. Box 3682 University of Wyoming Laramie, WY 82071 (307) 766-6231 (307) 766-4036 Fax |
|
|
|
|
Dolores Wallace |
Dolores Wallace NIST NIST North, Bldg 820, Room 517 Gaithersburg, MD 20899 (301) 975-3340 (301) 926-3696 Fax |
|
|
|
|
|
|
