Academic
I'm currently a PhD student at Portland State University, planning on finishing next May. I work with Mark Jones on the Hasp project. My primary research interests are operating systems and functional programming languages. In particular, I'm interested in applying techniques from functional programming to systems applications so that characteristics like memory safety, strong type systems, and purity can be leveraged for reasoning purposes. I'm also interested in information-flow security, which was a major focus of my early work during my PhD. Prior to moving to Oregon, I received a BS in Computer Engineering from the University of Oklahoma where I worked with Rex Page.
Personal
I was born and raised in a small suburb of Detroit called Huntington Woods. Like many Detroiters, hockey is my favorite sport and I'm still an avid follower of the Detroit Red Wings (Henrik Zetterberg is my favorite player). I'm also a big supporter of Team Sweden, not just because that's where Hank's from.
Cycling is one of my primary interests outside of computers. I bought my first bike of adulthood just a few years ago, but I was totally hooked. Over the past couple of years I've gotten really into long distance cycling. The Oregon countryside is amazing for cycling, although some of the pick-up truck drivers lack greatness. Last year I rode in the Portland Century, a really hilly 100-mile ride around Portland, and Seattle to Portland, which was basically a 200-mile mobile party. I'm not sure what my challenge will be for next year.
I also really like music, although my taste shifts around a fair bit. My favorite thing right now is the duo called The White Panda. They do mash-up/remix type stuff that's very fitting to my short attention span. More generally, I like punk, new wave, some of the indie roots/country stuff (NOT new country!), and a bit of rap.
Hippos are my favorite animal.
