Projects & Papers
Projects & Papers
Above: AI overview (NotebookLM) of this paper. While not perfect, it addresses the main idea(s)!
Above: Poster on "Finite Undecidability" presented at Model Theory and Related Topics, University of Manchester, 3-7 July 2023. Below: slides from my talk at the UCLA Logic Colloquium, 2025.
Above: AI overview (NotebookLM) of this paper. While not perfect, it addresses the main idea(s)!