Lee Pike

Lee Pike


Research and Engineering
Office: 503.626.6616 x135
Email: leepike (at) galois (dot) com
Webpage: http://www.cs.indiana.edu/~lepike/
Blog: http://leepike.wordpress.com/
LinkedIn: http://www.linkedin.com/in/leepike

At Galois

I spend my time at Galois leading the Cyber-Physical Systems focus area, acting as the PI on 1-3 projects at a time, and serving on the management committees for Engineering as well as 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.

My Background

Prior to joining Galois, I was a member of the NASA Langley Research Center's Formal Methods Team, where my research focused on the formal verification of fault-tolerant real-time systems. I have a Ph.D. in Computer Science from Indiana University, and my undergraduate work is in Philosophy and Mathematics.


A list of my publications and talks can be found at my personal website: http://www.cs.indiana.edu/~lepike/