James Walsh

About Me

I am a Klarman Postdoctoral Fellow at Cornell University. My research is in mathematical logic.

I received my Ph.D. from the Group in Logic at UC Berkeley and my Sc.B. from Brown University. My dissertation received the 2020 Sacks Prize from the Association for Symbolic Logic for the most outstanding dissertation in mathematical logic worldwide. In 2018 I received an outstanding instructor award from UC Berkeley.

Research

• An incompleteness theorem via ordinal analysis
  Submitted [arXiv]
• Reflection ranks via infinitary derivations, with Fedor Pakhomov
  Submitted [arXiv]
• On the hierarchy of natural theories
  Submitted [arXiv]
• Reducing ω-model reflection to iterated syntactic reflection, with Fedor Pakhomov
  Journal of Mathematical Logic, forthcoming [arXiv]
• Incompleteness and jump hierarchies, with Patrick Lutz
  Proceedings of the American Mathematical Society, 148(11):4997--5006, 2020 [published version | corrigendum | arXiv]
• Reflection ranks and ordinal analysis, with Fedor Pakhomov
  The Journal of Symbolic Logic, online, 1--34, 2020 [published version | arXiv]
• A note on the consistency operator
  Proceedings of the American Mathematical Society, 148(6):2645--2654, 2020 [published version | arXiv]
• On the inevitability of the consistency operator, with Antonio Montalbán
  The Journal of Symbolic Logic, 84(1):205--225, 2019 [published version | arXiv]
• Usable security as a static-analysis problem, with Kathi Fisler, Shriram Krishnamurthi, Hannah Quay-de la Vallee, William Zimrin
  Proceedings of the Association for Computing Machinery: International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software:1--16, 2013 [published version]