Invited Member of a new Study Committee of the Computer Science and Telecommunications Board, National Academy of Science to assess current practices for developing and evaluating mission-critical software and to develop a research agenda for dependable software system development and certification. Study title is “Sufficient Evidence? Building Certifiably Dependable Systems.” see NAS/CSTB current projects