I am a master's student at New York University Abu Dhabi, with an academic background in pure mathematics. I am particularly interested in how mathematical structures can provide foundations for reliable machine reasoning, and how the meaning of mathematical statements can be preserved when translated between natural language and formal systems.

Proof assistants can mechanically verify formal derivations, but a further question remains: does a formally verified statement faithfully represent the mathematical statement originally intended? This distinction between formal correctness and semantic faithfulness motivates much of my current work.