Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale (2007) / Chapter Skim
Currently Skimming:
B: Biosketches of Committee Members and Staff
B: Biosketches of Committee Members and Staff
Pages 50-59
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 50... ...
at Harvard University. He was the lead principal investigator of the 4-year High Dependability Computing Project, in which CMU leads a collaboration with five universities to help NASA address long-term software dependability challenges.
|
From page 51... ...
He has led or participated in national studies related to cybersecurity, crisis response, analyst information management, DoD software management, and health care informatics infrastructure. He has been an advisor to major IT companies.
|
From page 52... ...
He has served on the boards of several scientific journals, including the IEEE Transactions on Software Engineering, IEEE Computer, IEEE Software, ACM Computing Reviews, Automated Software Engineering, Software Process, and Information and Software Technology. He has served as chair of the AIAA Technical Committee on Computer Systems, chair of IEEE Technical Committee on Software Engineering, and as a member of the Governing Board of the IEEE Computer Society.
|
From page 53... ...
and Infinium Software (sold to SSA Global Technologies in 2002 for $105 million) , as well as other private and public software companies.
|
From page 54... ...
He received two Fulbright fellowships and a Japan Foundation Fellowship for studying at Tokyo University. Mary Ann Davidson is the chief security officer at Oracle Corporation, responsible for security evaluations, assessments, and incident handling.
|
From page 55... ...
He is frequently called upon to lead engineering assistance teams that engage major programs across the corporation struggling with significant technical and programmatic issues. In his capacity as the ESBA chief technical officer, he is also responsible for the technology strategy and the investment plan.
|
From page 56... ...
In particular, he is interested in applications of advanced type systems, model checkers, certifying compilers, proof-carrying code, and inline reference monitors for building efficient and provably secure systems. He is also interested in the design and application of high-level languages for new or emerging domains, such as sensor networks.
|
From page 57... ...
Royce spent 16 years in software project development, software technology development, and software management roles at TRW Electronics & Defense. He was a recipient of TRW's Chairman's Award for Innovation for his contributions in distributed architecture middleware and iterative software processes in 1990 and was named a TRW Technical Fellow in 1992.
|
From page 58... ...
He has served as associate editor for the Journal of Empirical Software Engineering and the ACM Transactions on Software Engineering and Methodology, and on the program and executive committees of conferences, including the ACM SIGSOFT Symposium on the Foundations of Software Engineering, the International Conference on Software Engineering, Aspect-Oriented Software Development, and ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. He and his students are broadly interested in the design and engineering of software-intensive systems, with an emphasis on the need for a value-based theory and practice of system design.
|
From page 59... ...
She is currently supporting the projects currently titled Whither Biometrics, Wireless Technology Prospects and Policy, Advancing Software-Intensive Systems Producibility, and Assessing the Impacts of Changes in the Information Technology Research and Development Ecosystem. She previously worked on the projects that produced the reports Signposts in Cyberspace: The Domain Name Systems and Internet Navigation; Getting Up to Speed: The Future of Supercomputing; Beyond Productivity: Information Technology, Innovation, and Creativity; IT Roadmap to a Geospatial Future; Building a Workforce for the Information Economy; and The Digital Dilemma: Intellectual Property in the Information Age.
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.