I'm an MSc student in the Department of Computer Science at The University of Western Ontario. My supervisor is Dr. Roberto Solis-Oba.
My area of research is in automata and formal language theory. I'm currently looking at algorithms for reducing the size of nondeterministic finite state automata (this is almost, but not quite the same as NFA minimization, which is hard—PSPACE-hard to be exact).
Things that I'm not working on but I think are really neat include complexity theory, quantum computing, and algorithmic information theory.