subareas like software engineering
and image processing. Scientific advances
in theory are often bounded by
the time needed to prove theorems.
Moreover, at most institutions, CS
faculty whose work involves theory
advise fewer students and are thus
likely to produce fewer publishable
results per year.