Office:
Mai 2014
Phone:
512 471 9745
Email:
boyer@cs.utexas.edu
Homepage:
cs.utexas.edu/users/boyer/
Department:
Computer Sciences
My areas of research interest include automated reasoning, automatic theorem proving, program verification, formal methods and mechanical proof checking.
