Alex Davison

• Mathematics undergraduate student at Stony Brook University (Class of 2027)
• Interests: formal verification, numerical analysis, algorithm design

Projects

Chessdb Mobile

Lambda Calculus

Weiqi Engine

Mandelbrot Set

Bézier Curve

Conway's Game of Life

Sierpinski Triangle

EOcross Solver