In the words written on the wall of a Stanford University graduate student office,
"I would rather write programs to help me write programs than write programs."
What "programming" really amounts to, viz. designing algorithmic solutions,
and that activity requires the ability to think efficiently more than anything else.
We are doing research on programming language design, software engineering, and programming issues in other research domains.
Our research topics include: