Welcome ​

Hi! I'm a computer scientist working on Klocwork, a static analysis tool for C/C++, C#, Java and Rust. Before that, I researched ways to control information flows to help empower users and protect their privacy.

This blog is where I write about static analysis, programming languages, security, and software development in general. I've been building software for about 25 years and writing helps me think.