Lee Pike

Research Lead, Cyber-Physical Systems

I spend my time at Galois leading the Cyber-Physical Systems focus area, acting as the principal investigator on 1-3 projects at a time, and serving on the management committee for business development. My research focuses on applied formal methods and functional programming in the area of embedded systems. I do work in both safety-critical and security-critical systems.


Prior to joining Galois, Dr. Pike was a member of the NASA Langley Research Center’s Formal Methods Team, where his research focused on the formal verification of fault-tolerant real-time systems.

Dr. Pike received his Ph.D. in Computer Science from Indiana University, and his undergraduate work is in Philosophy and Mathematics.