Dustin Tucker

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 interpretable AI; LLM performance on abstract, non-linguistic reasoning tasks; generative AI red teaming; prompt engineering; and statistical data analysis. Previous research topics include type theory, intensional and nonmonotonic logic, and formal semantics. Past publications concerned paradoxes of mental and linguistic content (intensional paradoxes) and how those paradoxes constrain theories of that content, as well as formal systems of defeasible reasoning, with a particular focus on default logic, input/output logic, and argumentation theory.