1,131
reputation
5
1

William DeMeo

I'm into formalization of mathematics in Agda and Lean; logic, universal algebra, and model theory; category theory; complexity theory for constraint satisfaction problems; functional programming: Scala/Spark for algebra, machine learning, and big data.

I'm currently developing the Agda Universal Algebra Library.