California Institute of Technology / National Aeronautics and Space Administration / Rationale Unit / /
Person
Dan Dvorak Gerard Holzmann Thomas / Eddie Benowitz Thomas Crockett Bob / Bob Deen Dan Dvorak Gerard / Thomas Crockett Bob Deen Dan / Klaus Havelund / Thomas Huang Rajeev Joshi David / Gerard Holzmann Thomas Huang Rajeev / Al Niessner / /
Position
Governor / garbage collector / Eclipse editor / scheduler for synchronization wait and / programmer / /