Hey gabe and BenFrantzDale - How's it going? I have been pretty busy these days. At work I have been working on getting a test instance of Shibboleth up and running, which has proven to be a bit annoying. I'm also working on trying to improve the general level of security of authentication for all the various enterprise apps that require it on campus. A hard problem, because of the huge user demand for convenience.
My thesis research is going well. I am working on multi-valued logics and vagueness in logic. Looking at these in higher orders, and trying to get a reasonable mental model of what is going on without being able to really rely on classical logic is tough. But it is rewarding. Doing a completeness proof for any of these systems would be rather messy. I really don't like it when I find typos in papers though. I recently read an article by Kit Fine, and in a key paragraph, he apparently made 3 typos. Until I realized this, I was utterly confused by his argument. Once I realized that there were mistakes, it became much easier. ;-)
Applying to Grad schools is a reasonably slow process, as my home computer continues to be dead. But I took the GREs, did pretty well, and am gearing up for the LSATs. I need to start writing personal statements and purpose statements. Fun fun.