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.
My CV can be found here.
I have a blog at citationneeded.me.
