Interfaces for Formal Methods
I am interested in innovative interfaces, tools, and methods that make interactive theorem proving technology and software verification more accessible to non-experts. My previous work includes tool support for handwritten calculational proofs using tablet pcs. My current efforts are on formally verifying handwritten proofs without the need to learn the specific syntax and intricacies of interactive theorem provers. See papers below.