Interests and Projects
My main interests are in algebra, computer algebra, complexity theory, and cryptography.
- Cryptography, number theory
- Resettable zero-knowledge
- Counting grainy numbers
- Algorithms
- ... for Tensor Factorization of Algebras
- ... for Finite Dimensional Algebras and Modules
- Degeneration of Finite Dimensional Modules
- ProGeo: (Linear) Projective Geometry with MAPLE V (with A. Braunbarth)
- Tensor Factorization of Algebras (with V. Strassen)
- A Dream: Writing proofs with a high-level system that controls logic and browses for known results