I'm Rick, I work at Red Hat.
My software-related research interests are primarily focused around functional programming and type theory. I'd love to see the general quality of software in our industry increase, and I believe that formal verification through type theory is the leading edge toward that. Feel free to talk to me about these things at any time. :-)
I have a plethora of other interests including swing and blues dancing, historical linguistics and etymology (I have been teaching myself Latin), amateur radio, musical instruments (namely piano and upright bass).
I lead the da.gd project (a URL shortener which also provides some other bits of information), and the custom framework that backs it, along with a small but tight group of friends who help with maintenance and respond to abuse reports.