Ongoing Projects

Program analysis and verification

Theorem proving and SMT