|
 SRI creates innovative solutions to the problems of practical, large-scale,
high-quality software-intensive systems for the new millenium. Our focus is on
systems that exploit the growing infrastructure for high performance, nearly
ubiquitous computing and communication, especially systems that the public
depends on for services provided through the electronic marketplace.
|
|
|  |
Research in ISRI falls generally into five areas:
- Ubiquity: Software systems that extend the reach
of computation and information beyond the traditional framework of a computer application running
on a fixed set of machines
- Fitness: Software systems that are fit for their intended
use -- sufficiently trustworthy, reliable, secure, robust, adaptable that they will
provide satisfactory service
- Constructability: Methods that improve
development and evolution of software, especially ubiquitous and reliable software
- Policy: Public policy and economic models for modern software systems and the industry that supports them
- Combination: Explorations that combine two or more of
these areas
|
|
|
|
|
|
|
 |
|
ISRI Seminar Series
|
|
 |
April 19, 11:50am, (NSH 3305): Modularity in Design: Formal Modeling and Automated Analysis, by Yuanfang Cai, Drexel University
|
|
|
|
April 16, 12pm, (CIC DEC): Results of the Sarasota Source Code Audit, by Michael I. Shamos, Ph.D., J.D. Distinguished Career Professor, ISRI
|
|
|
|
March 12, 12pm, (NSH 3002): Data Protection: An Indian Perspective, by Nandkumar Saravade, Director of Cyber Security and Compliance at NASSCOM, India
|
|
|
|
February 22, 12pm, (NSH 3305): Adaptive Online Allocation Mechanisms for Single-Valued Domains, by David C. Parkes, Harvard University
|
|
|
|
 |
|
|
|
