|
|
|
home >
team >
civil servants >
psm
Paul S. Miner
Paul has been a NASA employee since 1989, and a member of the formal methods research team since 1990. His primary research interests are fault-tolerance and hardware verification. Member Program Committee for TPHOLs2000, FMCAD 2000, and Lfm2000. (Note: the first two of these are external links.)
|
||
|
home | welcome | quick page | philosophy | team | research | quote | links | new? Curator and Responsible NASA Official: Paul S. Miner larc privacy statement last modified: 25 October 2001 (09:05:33) |