Vegard graduated from the University of Oslo in 2012 with a thesis on the topic of SAT solving and has been working for Oracle on Ksplice kernel updates and infrastructure ever since. His experience with the Linux kernel includes writing kmemcheck, a tool for detecting use of uninitialized memory, and a 2010 Google Summer of Code project to apply SAT solvers to the kernel configuration language.