civil servants >
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)