R&D at Galois, Inc.
Portland, Oregon Area
- Current
-
- R&D Engineer at Galois, Inc.
- Past
-
- Computer Scientist at NASA Langley Research Center
- Visiting Researcher at National Institute of Aerospace (NIA)
- Education
-
- Indiana University Bloomington
- University of Idaho
- Whitman College
- Moscow High School
- Connections
-
88
connections
- Industry
- Computer Software
- Websites
Lee Pike’s Summary
Over the past few years, I have primarily served as a project lead for a variety of research projects in the areas of formal methods, security, and operating systems. I also serve as a technical contributor to these projects. My other contributions are in the areas of engineering infrastructure development, staffing, business development, and general business infrastructure.
My publications can be found on my personal website.
Lee Pike’s Experience
-
R&D Engineer
Galois, Inc.
(Computer Software industry)
Currently holds this position
-
Computer Scientist
NASA Langley Research Center
(Government Agency; 5001-10,000 employees; Computer Software industry)
September 2003 — August 2005 (2 years)
I was a formal methods researcher investigating the application of mathematical techniques to verify safety-critical software systems.
-
Visiting Researcher
National Institute of Aerospace (NIA)
(Partnership; 201-500 employees; Research industry)
May 2003 — August 2003 (4 months)
Lee Pike’s Education
-
Indiana University Bloomington
Ph.D , Computer Science , 2000 — 2006
-
University of Idaho
B.A. , Philosophy , 1997 — 2000
- Activities and Societies:
- Phi Beta Kappa, Honors Program
-
Whitman College
-
Moscow High School
Additional Information
Lee Pike’s Websites:
Lee Pike’s Groups:
Member, ACM, PNDC
-
SBIR/STTR Participants -
Functional Programming -
Indiana University Alumni Network -
Pacific Northwest Defense Coalition
Lee Pike’s Contact Settings
Interested In:
- consulting offers
- job inquiries
- expertise requests
- business deals
- reference requests
- getting back in touch
