Robert Boyer
Formerly affiliated Affiliated Faculty
My areas of research interest include automated reasoning, automatic theorem proving, program verification, formal methods and mechanical proof checking.
Formerly affiliated with