About
I’m a sophomore at Rice University studying mathematics and computer science. My interests lie at the interface of logic and theoretical computer science, with a particular current interest in descriptive complexity. I’m especially interested in perspectives on computation that arise from logic: not only what can be computed, but what can be expressed.
"Thinking is learning all over again how to see, directing one's consciousness, making of every image a privileged place."
Research Interests
My current interests are in logic in computer science, finite model theory, and descriptive complexity. More broadly, I am interested in structural approaches to theoretical computer science and in logical perspectives on computation.
Research notes, expository writing, and future publications will be added here as they become available.
Projects
Graft: Interactive Graph Theory Sandbox
JavaScript, SVG | January 2026 – Present
An interactive graph theory environment for constructing graphs and exploring structural properties. Supports dynamic computation of graph properties including degree sequences, connectivity, bipartiteness, and chromatic number. Designed for students testing constructions, instructors creating examples, and researchers prototyping conjectures.
r2a: RISC-V Disassembler
Python, RISC-V | Fall 2025
Developed a formal specification for RISC-V instruction decoding using decision-tree optimization. Built a test harness to validate decoding correctness against reference instruction encodings.
Epidemiological Transmission Mapping
Python | Fall 2025
Modeled bacterial infection spread as a complete weighted directed graph using genetic (Hamming distance) and epidemiological data. Implemented greedy algorithms to infer a rooted directed minimum spanning tree representing likely transmission pathways.
Notes & Solutions
I am working through foundational texts in mathematics and theoretical computer science. As I prepare polished notes and solutions, I will post them here for others studying similar material.
Current
- An Introduction to Mathematical Logic by Herbert Enderton
- How to Prove It: A Structured Approach by Daniel J. Velleman
Contact
I’m interested in conversations about logic in computer science, descriptive complexity, graph theory, and theoretical computer science.
Email: [email protected]
GitHub: github.com/anthony-schurle
LinkedIn: linkedin.com/in/anthony-schurle