My areas of research interest include automated reasoning, automatic theorem proving, program verification, formal methods and mechanical proof checking.