Stacy Prowell

[Home]	Senior Member of the Technical Staff, Software Engineering Institute, Carnegie-Mellon University
[Home]	Chief Scientist, CERT STAR*Lab

Quantitative Software Security Analysis Minitrack at HICSS-42

Now accepting submissions for the Quantitative Software Security Analysis Minitrack at HICSS-42 in Hawaii, January 2009. More information here. Deadling is 15 June 2008, so send your submission in today!

Welcome

Welcome to my home page at Carnegie Mellon University. You can find more information by following the links below.

Research

function extraction
automated computation and reasoning about software behavior
software specification
sequence enumeration is a systematic means to incrementally and iteratively discover a rigorous specification, and sequence abstraction provides the means to manage the process
statistical testing
a model for making objective claims about software quality and reliability, including release decisions
cleanroom software engineering
an evolving collection of techniques for developing software of known quality incrementally under continuous process monitoring and improvement
other research topics

Organizations

Internal Links

``Mitte superba pati fastidia, spemque caducam / Despice; vive tibi, nam moriere tibi.'' -- Seneca

``This place may be bombed, and we will be killed. We love death. The U.S. loves life. That is the big difference between us.''
-- Osama bin Laden, to a visiting Pakistani reporter 26 Nov 2001, reported in Newsweek

Contact

Mail: 4500 Fifth Avenue, Pittsburgh, PA 15213, USA § Voice: +1 (412) 268-9205 § Fax: +1 (412) 268-6989 § Office: Collaborative Innovation Center § Email: sprowell-at-cmu-dot-edu § Public Key: MIT Key Server

I am solely responsible for the content of my pages. The mention of an organization or individual on these pages should not be construed as an endorsement of any page content. Please send me any corrections. They Might Be Giants helps prevent accidental electrocution on this site.