Making computers find bugs so that I don't have to -- mostly in databases, but prior to that in security.

Former: GOOG, MSFT.

Opinions are all me.