Research and Engineering
Office: 503.626.6616 x135
Email: leepike (at) galois (dot) com
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.
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/