Bill Scherlis

Professor Director, Institute for Software Research (SCS/ISR) Director, PhD Program in Software Engineering School of Computer Science Carnegie Mellon University

Research

• Leader: Fluid Project -- Analysis-based software assurance and evolution
• Principal investigator: CMU/NASA High Dependability Computing Project (HDCP), with subcontractors USC, UMd, MIT, U Wash, and UWM (with Jim Morris), completed
• Co-principal investigator: Dependable Realtime Embedded Space Software (DERESS) Project (with J Aldrich and E Clarke), completed
• Project lead: Artifact-Based Software Assurance CMU CyLab

Teaching

• 15-313 Foundations for Software Engineering (Fall 2009) (blackboard) [with Jonathan Aldrich]
• 17-791 Software Research Seminar (SSSG) (Fall 2009) (schedule) [with all the SE faculty]
• 15-211 Fundamental Structures of Computer science (Fall 2009) (course portal) [with Chris Langmead]
• 17-732 Emerging Programming Paradigms (Fall 2008) (poster) [with Jonathan Aldrich]
• Carnegie Mellon and Mellon Financial Software Seminar (Spring 2007) (schedule) [with Michael Shamos]

Technology and Policy

• National Research Council: Advancing software-intensive systems producibility for the DoD (chair): Uncertainty at Scale (2007). DoD Software Research Needs (2008).
• Atlantic G-20 Conference: Software: the endless value spiral (or as a separate PDF) in the conference proceedings (2009)
• Harvard Business Review: Risks and IT (or here with Jonathan Rosenoer, 2009 (elevator version of a longer report)
• Computerworld: Software: The eternal battlefield in the unending cyberwars (interview with Gary Anthes, 2009)
• CyLab web: In-depth interview regarding software assurance, ISR, and sound analysis (2009)
• Computerworld: Endless value spiral (interview with Gary Anthes, 2008)
• IEEE Software: Following the money: Research funding fluctuates globally, p.111 (Sept/Oct 2005)
• DARPA ISAT study group member (1993-1998, 2003-2006)
• National Research Council: Improving Cybersecurity research (initiated July 2004)
• Editorial board: Journal of Law and Policy for the Information Society (to debut, Feb 2005)
• Congressional testimony: The role of government in IT R&D (official written testimony, draft of spoken testimony, overall hearing, CRA blog report, July 2004)
• The role for ICT in sustainable development? (World Bank meeting Nov 2003, Bangalore meeting Jan 2004)
• National Research Council: Study on E-government (chair): Crisis Management, Federal statistics, Final report, 2002
• Congressional testimony: Should there be a Federal CIO? (September 2000 hearings)
• The Internet and cancer trials (wrap-up of a National Cancer Institute long-range planning committee, 2002)
• PITAC report to the President on government information technology (Aug 2000).
• Radio commentary: Gore and Internet on NPR All Things Considered (1999)
• National Research Council: What to do about Ada? (1997)
• National Research Council: Crisis management and IT (1996)

Institute for Software Research (ISR)

• ISR is the focal point in SCS for research and graduate education in Software Engineering (SE) and Computation Organizations and Society (COS). It additionally supports research and education in Information Infrastructure in Emerging Economics and in Digital Libraries. It hosts a variety of professional and executive programs including the Masters in Software Engineering (MSE) program, now in its 16th year. ISR is a focal point for industry and international collaboration. The ISR is home to approximately thirty faculty, seventy visitors and staff, and more than a hundred MS and PhD students.
• The ISR home page has information about our diverse educational and research programs.
• PhD in Software Engineering program information and application. Please contact Connie Herold for further information.
• PhD in Computers Organizations and Society program information and application. Please contact Monika De Reno for further information.
• Faculty policies for tenure track, research faculty, special faculty, and lecturers
• Faculty search 2007 (tba).

Other Activities

• Panopto
• SureLogic

Personal

• Brief bio
• How to reach me
• Assistant: Connie Herold (cherold at-sign cs.cmu.edu) 412-268-4545
• Photo with early memex prototypes
• Ann's book, The First Human -- see the Ann Gibbons page