معرفی
Alex Best is a researcher affiliated with Vrije Universiteit Amsterdam, specializing in number theory and formal verification. His work bridges computational mathematics and programming languages, with a focus on formalizing algorithms for class group computations and elliptic curve analysis.
Research interests include:
- Formal verification of number-theoretic algorithms
- Computational aspects of algebraic geometry
- Application of computer algebra systems to cryptography
His 2023 CPP publication on Mordell elliptic curves demonstrates expertise in integrating rigorous mathematical proofs with software tools like Lean. Active GitHub contributions include projects related to kernel implementations over F₂, superoptimization in Asmjit, and theorem-proving utilities.
۰مقاله ثبتشده
