Developing general mechanisms relating algorithms, data structures, generating functions and analytic functions such that asymptotic results useful in predicting performance of the algorithms can be derived automatically and economically.
Investigating the way in which visual representations can provide an understanding of how algorithms gain efficiency, including dynamic graphical simulations of algorithms in operation and high-quality static representations suitable for use in publications.
Robert Sedgewick