I'm into formalization of mathematics in Agda and Lean; logic, universal algebra, and model theory; category theory; complexity theory; cryptography.

Check out the Agda Universal Algebra Library (agda-algebras) and its documentation (ualib.org).