agoodloe

Alwyn Goodloe agoodloe

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

Organizations

Software for the PIC64-HPSC and PIC64HX series of 64-bit microprocessors (MPUs)

United States of America

Oxford University & Varomega Associates Oxford

Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker

@NASA Ames Research Center / KBR San Jose, CA

TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.

PhD student in formal methods at NYU under the supervision of Joseph Tassarotti

Associate Professor of CS at Augusta University.

Augusta University United States