I am Michael Walker, otherwise known online as barrucadu. I am currently a student of Computer Science at the University of York. My technical interests include the mathematical foundations of computer science, type systems, functional programming, operating systems, and computer architectures.
See my academic CV and presentations and publications.
I have a computer science related blog, accessible at blog.barrucadu.
