I work on servers at Google. Previously, I made Linux Distros and static software analysis tools.
My blog "A Foo walks into a Bar" is hosted on my home site coldattic.info.
If you know any Languages specifically designed to make static verification easier, please, answer the question linked.
Member for 11 years
233 profile views
Last seen Aug 21 at 23:26