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 languages, programming education, and software engineering.
Our research topics include: