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 5 years, 11 months
20 profile views
Last seen Jun 11 at 13:14