I am an Associate Professor of Computer Science at Boston College. If you would like to discuss something related to my teaching or research, please contact me.
My research interests are in computational systems biology and more specifically in the development of formal specifications of cellular processes. I am currently working on systems that model fundamental processes in cellular energetics.
My earlier research was related to the reliabilty and performance of computer software. I worked on high-performance certifying compilers for higher-order typed programming languages such as Standard ML. I spent several years working as a founding member of the Church Project. Together with Robert Harper, I was a co-founder of the Types in Compilation (TIC) series of workshops. The TIC workshop series subsequently evolved into its current form: Types in Language Design and Implementation (TLDI).
Most of my earlier papers can be found here.
I teach a variety of courses in the computer science curriculum. My schedule for the spring semester of the 2013-2014 academic year has me teaching three sections of CS102:
Section 1 meets MWF from 10AM - 10:50AM, section 2 meets TR from 9AM - 10:15AM and section 3 meets TR from 3PM - 4:15PM. All of these sections meet in Fulton 415.
Thinking of asking me for a letter of recommendation? I may be able to help, but please read this first.