I am a software engineer currently working on the Kubernetes cluster management project at Google. My background is a mixture of experience in research labs, advanced development groups and product development groups in companies and in academia. I've worked on tools for hardware design (esp. FPGAs) and verification (esp. formal verification); concurrent and parallel functional programming (esp.