My main interests at the moment are Operating System design in particular microkernels such as Minix 3 and GNU Hurd. I am also interested in embedded computing.

GREAT Computing is another interest. GREAT Computing is Guaranteed Reliable Efficient Affordable Testable Computing. This framework relies on being able to break systems down into small cooperating components. http://greatc.wikia.com/wiki/GREAT_Computing_Wiki is a wiki for this project.