NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

NSF Selects Kristin Y. Rozier’s Life-Critical System Verification “Nugget” as NSF Poster Set
Intelligent Systems Division Banner

NSF Selects Kristin Y. Rozier’s Life-Critical System Verification “Nugget” as NSF Poster Set

The National Science Foundation (NSF) Directorate for Computer and Information Science and Engineering’s (CISE) Division of Computing and Communication Foundations (CCF) has selected Kristin Y. Rozier’s Life-Critical System Verification nugget to be re-imagined as a poster set to hang in the NSF hallways.

A nugget consists of a single slide with a title, tagline, and image that captures an area of theoretical computer science, and is accompanied by a written document containing a summary and rationale for the research area. Kristin Y. Rozier served as the lead for the Life-Critical System Verification nugget, is helping in the poster conversion of the nugget, and is the primary author of the description of the need for, and value of, formal methods for safety-critical system verification. Rozier is also a contributor to other nuggets for Theoretical Computer Science (TCS) Visions that are being considered for posters, and she has co-chaired the sub-group focusing on security, privacy, and reliability, helping to organize all nuggets in these areas.

The original TCS nuggets are available at:

BACKGROUND: Theoretical Computer Science (TCS) Visions, sponsored by the Computing Community Consortium (CCC) and the Special Interest Group for the Association of Computing Machinery (SIGACT) Committee for the advancement of theoretical computer science, aims to accomplish two goals with the development of these nuggets:

  1. Identify broad research themes within TCS that have potential for major impacts in the future

  2. Distill these research directions into compelling “nuggets” that can quickly convey their importance to a layperson, such as a Senate science advisor

The main purpose of these nuggets is to help the CCC and others argue for the importance of computing research, and TCS in particular, to a variety of audiences. Some may also inspire the development of new centers or large-scale research activities (as might be funded by the NSF), and others may be broadened to inspire entirely new programs (similar to the way the NSF Cyber-enabled Discovery and Innovation (CDI) program was inspired by ’06-07 workshops on Computer Science as a Lens on the Sciences).

The TCS Visions Status and Impact Report is available at:

NASA PROGRAM FUNDING: Next Generation Air Transport System (NGATS) project

COLLABORATORS: This work has been completed in collaboration with thirty-two other researchers in theoretical computer science, from both academia and industry: The nuggets on security, privacy, and reliability were primarily designed in collaboration with Cynthia Dwork (Microsoft Research), Dick Lipton (Georgia Tech.), Amit Sahai (UCLA), and Salil Vadhan (Harvard).

Contact: Kristin Y. Rozier

First Gov logo
NASA Logo -