Alwyn Goodloe

[email protected]

NASA NASA Langley Research Center Computer scientist working in the areas of applied logic, formal methods, and programming languages.