I'm an associate professor of mathematical logic at Colorado State University, housed in the philosophy department. My email address is firstname.lastname@colostate.edu.
My current research focuses on AI safety and trustworthiness, mechanistic interpretability, and AI use in social science. Additional research topics include type theory, intensional and nonmonotonic logic, and formal semantics, with publications concerning intensional paradoxes and formal systems of defeasible reasoning, with a particular focus on default logic and input/output logic.