Twitter tumblr GitHub

I am Michael Walker, otherwise known online as barrucadu. I am currently a Ph.D student in the Department of Computer Science at the University of York.

My academic interests include functional programming, compilers, type systems, and program verification. My non-academic interests include small fuzzy animals, but sadly I can’t sit in an office and play with those all day. Yet.

See my CV and presentations and publications.

barrucadu on Freenode and Rizon
Jabber (otr: A22F6CC2 50A97464 4B9A8BC1 B2F87F78 364DD2BC)
3F0B 7E4E 590D 9749 CFE7 146E 37F4 AF9F 9F58 FC68