Charles B. Weinstock
Senior Member of Technical Staff
Research, Technology, and System Solutions Program

Pittsburgh, Pennsylvania, USA

Key responsibilities

Chuck Weinstock is a senior member of the technical staff in the Performance Critical Systems initiative at the Software Engineering Institute at Carnegie Mellon. His interests are in the area of dependable computing with a recent emphasis on assurance cases.

Teams

Performance Critical Systems; Assurance Cases; 

Professional Background

In over 20 years at the SEI, Weinstock has worked in the areas of model-based verification, fault tolerant computing, open source software, distributed real-time systems, and architecture analysis.

Weinstock's interest in fault tolerant computing began while he was at SRI International where he was the principle software designer and implementer of the SIFT (software implemented fault tolerance) system. Weinstock has also worked at Tartan Laboratories and Illinois Institute of Technology.

Publications (recent or significant)

• R. E. Bloomfield, S. Guerra, A. Miller, M. Masera, and C. B. Weinstock, International Working Group on Assurance Cases (for Security), IEEE Security and Privacy, May/June 2006
• C. Weinstock and J. Goodenough, On System Scalability, Technical Note, Software Engineering Institute (CMU/SEI-2006-TN-012).
• C. Weinstock, J. Goodenough, and J. Hudak, "Dependability Cases," SEI Technical Note CMU/SEI-2004-TN-016, Software Engineering Institute, 2004.

Education

• Ph.D., 1976, Computer Science, Carnegie Mellon University
• MS, 1988, Industrial Administration, Carnegie Mellon University
• BS, 1970, Mathematics, Carnegie Mellon University

Professional Memberships and Activities

• The Institute of Electrical and Electronics Engineers (IEEE)
• Member, IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance
• Vice-Chair for Communications, IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance