SPEED (Symbolic Resource Time/Space Bounds Analysis)

Established: December 1, 2008

People

Portrait of Sumit Gulwani

Sumit Gulwani

Distinguished Scientist and Vice President