Lee Pike

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
Moscow High School

Whitman College

see less...

1 more...

Connections

93 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
Moscow High School
Whitman College