1. Procesi 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.