I am a philosopher of logic, mathematics and computer science, with particular interests in formal semantics and proof theory. My work includes proving soundness and completeness results for proof-theoertic semantics (PTS). I am currently developing projects on intuitionistic type theory and formal verification.
I am an Assistant Professor of Philosophy at Kansas State University. I was a Marie Curie Research Fellow at Bristol University and a Postdoctoral Scholar at the Czech Academy of Sciences. I received my PhD from the University of California, Irvine, studying in the Department of Logic and Philosophy of Science.
I co-organize the PTSnetwork and the online PTS Seminar talk series.
Email: willstafford@ksu.edu