David Van Horn

I'm a research professor at Northeastern University. I work on making software more reliable and easier to construct.