studies noncommutative algebra, algebraic groups, invariant theory, enumerative geometry, infinite dimensional algebras and quantum groups, polytopes, braid groups, cyclic homology, geometry of orbits of compact groups,arrangements of subspaces and tori.

Procesi proved thatthe polynomial invariants of matrices over a field all come from the Hamilton-Cayley theorem, which says that a square matrix satisfies its own characteristic polynomial.