Hi. I'm currently a student at the University of Connecticut. I like bringing high-availability and high-assurance to areas that haven't seen them much, like IP networks, security infrastructure, and information stores. With a particular focus on compile-time guarantees, the tools of the trade are languages with very expressive type systems, like Haskell.
I like to be the guy who already knows the solution, or the guy that can come up with the solution when there isn't already one. I have a wide grasp of both practical and theoretical domains within and around computer science, from networking, web development, and server administration, to type theory, category theory, and programming language theory.