Robert Muller

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 is 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 2019-2020 academic year has me teaching one section of:

CSCI 3366 Programming Languages.


My office hours are a bit complicated, falling into three categories.
  1. I hold class office hours for students presently enrolled in my courses Tuesdays 10AM - noon and Wednesdays 10AM - noon. If you are not enrolled in one of my courses, you can see me during those hours but students presently enrolled in courses have priority. This means that you'll have to wait for an opening during those hours.

  2. I hold a CS Undergraduate Program Director office hour on Wednesdays between 1PM and 3PM. If you need to see me about Study Abroad or other issues unrelated to my courses, you can sign up for an appointment here. This weekly office hour is appointment only.

  3. If you are one of my CS Major Academic Advisees and you need to make an appointment to discuss course planning for the upcoming semester, you'll find an active make-an-appointment link here. If you are one of my CS Major Academic Advisees and you'd like to see me at some time other than the Academic Advising period, you can email me to make an appointment or you can see me during my class office hours, but students enrolled in current classes have priority.

Thinking of asking me for a letter of recommendation? I may be able to help, but please read this first.

Last modified on 2-1-2017.