Arthur Queiroz Moura

I work on formal methods, systems programming, and the mathematics behind them. Starting October 2026 I'll be a Ph.D. student at Aarhus University, studying formal verification of liveness properties of distributed databases. Before that: concurrency testing at Huawei Dresden, research in topological machine learning and discrete differential geometry at USP, and a lot of math and programming competitions. I occasionally write about random stuff on the blog.

Education

Aarhus University Oct 2026 – Sep 2030

Ph.D. in Computer Science Aarhus, Denmark

Topic: formal verification of liveness properties of distributed systems.

University of São Paulo (USP) 2022 – Jul 2026

B.Sc. in Computer Science, extra coursework in Mathematics São Carlos, Brazil

Bachelor's thesis: a new persistent-homology-based algorithm for graph neural networks (C++/LibTorch, Python/PyTorch), with proved expressivity theorems.

Experience

Mercor May 2026 – Jun 2026

Mathematician Remote

Designed adversarial mathematics problems to evaluate the reasoning capabilities, robustness, and failure modes of large language models.

Huawei Dresden Research Center Nov 2025 – Apr 2026

Formal Methods Research Intern Dresden, Germany

Built a Rust-based prototype of a concurrency testing tool that finds bugs in C programs by probabilistically exploring thread interleavings.
Grounded the implementation in an extensive literature review and adapted its theoretical foundations to fit the tool.
Contributed to adjacent tooling at Huawei.

Research & teaching

University of São Paulo (USP) Mar 2025 – Jul 2025

Teaching Assistant, Stochastic Processes São Carlos, Brazil

Graded exams for 90+ students and held weekly office hours for problem-set discussions.

São Paulo Research Foundation (FAPESP) Dec 2023 – Nov 2024

Undergraduate Research Assistant — Deep Learning São Carlos, Brazil

Implemented a variant of the Adam optimizer using String-Averaging algorithmic topology in PyTorch, and formally proved its convergence.

São Paulo Research Foundation (FAPESP) Sep 2022 – Aug 2023

Undergraduate Research Assistant — Discrete Differential Geometry São Carlos, Brazil

Formalized translations of singularity-theory concepts into discrete settings, with proofs of property preservation. Presented at the 3rd Workshop for Singularity Theory Applications in Computer Science.

Competition highlights

IMC 2022–2024 — three-time Second Prize winner at the International Mathematics Competition for University Students.
Elon Lages Lima Mathematics Competition 2024 — national champion.
CIIM 2024 — gold medal at the Interuniversitary Iberoamerican Mathematical Competition, officially representing Brazil.
ICPC 2024 — 1st of 18 teams in the regional phase; 15th of 63 in the Brazilian national finals.

Skills

Languages: Rust, Python, C, C++, Haskell, Lean 4, Rocq.
Tools: Git/GitHub, Linux, PyTorch, LibTorch, Docker, Pandas, NumPy, scikit-learn, Matplotlib.
Spoken: Portuguese (native), English (full professional proficiency).

Volunteering

Nucleus of Mathematical Olympiad Studies (NEMO) Nov 2022 – Jul 2026

Organizer São Carlos, Brazil