I am a postdoc at the University of Waterloo, CA and my research is in mathematical logic - specifically computable structure theory, which is a mix of computability theory and model theory and often uses infinitary logic. I received my PhD under the direction of Julia Knight at the University of Notre Dame. I also have a background in philosophy of math and logic, esp. regarding Godel's incompleteness theorems.