Kevin Donnelly PhD Student Computer Science Department 111 Cummington Street Boston, MA 02215

Office: 177 MCS Email:

Home

Classes

Publications

I am a 4^th year PhD student in the Computer Science Department at Boston University.  I am advised by Prof. Hongwei Xi. 

Research Interests: 
Programming Language Theory and Implementation, Type Theory, Compilers, Theorem Proving, Specification and Verification