Loading…
CppCon 2016 has ended
avatar for Lisa Lippincott

Lisa Lippincott

Tanium
Software Architect
Lisa Lippincott designed the software architectures of Tanium and BigFix, two systems for managing large fleets of computers. She's also a language nerd, and has contributed to arcane parts of the C++ standard. In her spare time, she studies mathematical logic, and wants to make computer-checked proofs of correctness a routine part of programming.