Temporal logic and formal methods
Selected for a full-time mathematics REU on temporal logic and formal methods, with work on verifying translations from Mission-time Linear Temporal Logic into propositional logic using Isabelle/HOL.
math, computer science, and algorithms
All about Harrison Mesh
I am a rising sophomore studying Math and Computer Science at the University of Florida. My work is centered on algorithms, formal methods, and mathematical software. This includes my work at the University of Florida, the Iowa State University Math REU, and Bloomberg.
Experience
Financial-document API pipeline
Built an internal API pipeline aggregating document-processing outputs to extract text and image information from financial documents, while contributing workflow feedback in weekly engineering meetings.
Projects
ByteChess · Rust
Creating a chess engine
Developed a chess engine using iterative deepening, transposition tables, move ordering, evaluation heuristics, alpha-beta pruning, and null-move pruning; estimated around 2000-2100 Elo.
LeanTeX · C++ / LeanMaking formal proofs human-readable
Work on translating Lean proof structure into an intermediate representation for structured English and LaTeX explanations, starting with propositional logic and designed to scale to richer proof systems.