Academics

I completed my PhD in Computer Science at West Virginia University in the Summer of 2024. My research focused on the reliability of C programs. My dissertation, "UNG: A Diagnostic Standard C Library", presented a novel way of identifying undefined behavior in C programs at run-time. My advistor was Tom Devine.

Prior to this, I received a Masters of Science in Computer Science, from The George Washington University in 2017. My focus was in the area of secure operating systems. I did a lot of work on Composite, a research operating system shepherded by my advisor Gabriel Parmer.

I did my undergraduate work at The Evergreen State College. I graduated in 2001 with a Bachelors of Science. Evergreen differs from most undergraduate schools in a large number of ways. Perhaps the most "major" distinction is that the school lacks declared majors, instead providing specific requirements to attain a Bachelors of either Arts or Science. The vast majority of my work was in Computer Science, with Japanese coming in a relatively distant second.