Categories: research



I work on program verification, formal methods and theorem proving. In general, I am interested in what we can prove about the systems we can build, and what those proofs say about the systems we should build. My current focus is on:

Please look at my publications and software

Past projects

Related posts: