Michael Ashley-Rollman

a picture of mpa
Gates Hall 9005
School of Computer Science
Carnegie Mellon University

About Me

I am a Ph.D. student in the Computer Science Department at Carnegie Mellon. I did my undergraduate work at CMU as well, studying Computer Science, Discrete Math and Logic, and Russian Studies. I disappeared for a year before returning to start my graduate studies.

I donate a little bit of time each Monday to providing other graduate students with tea. If you would be interested in joining the weekly tea hour for free tea, you can join the mailing list.



I am currently advised by Frank Pfenning and Seth Goldstein and am involved in the claytronics project.
I would like to figure out how to program a claytronics ensemble in a reasonable way.


As an undergraduate, I was advised by Karl Crary and Bob Harper on my senior thesis working towards a mechanized proof of type-safety for SML.
Among other things, this resulted in a submission to the poplmark challenge.


My papers are available here.





In Spring 2009 I co-taught 15-440, Computer System Fundamentals with Greg Kesden

In Spring 2008 I was a teaching assistant for 15-418, Parallel Computer Architecture and Programming

In Spring 2007 I was a teaching assistant for 15-441, Computer Networks

In Fall 2003, Spring 2004, and Fall 2004 I was a teaching assistant for 15-410, Operating System Design and Implementation. In Spring 2005, Fall 2005, and Fall 2006 I also provided some support for the course.