barik:~$
I build tools for engineers.
Now
Research
Phd
Thesis proposal: How should static analysis tools explain anomalies to developers?
