 |
|
 |
 I
am a research scientist in
computer
science at the University
of Virginia. I work in the
Dependability
Research Group, studying the use of formal methods
in the construction of safety-critical software systems. My major projects
are architecting embedded software systems to be survivable,
verifying that an implementation has properties set out
in a system's formal specification, clarifying the role of natural language in software development,
and exploring new technologies for accident investigation and analysis. |
|
|
