Wesleyan portrait of Norman  Danner

Norman Danner

Professor of Computer Science

Exley Science Center, 629


Visit Professional Website

BA University of California, Berkeley
PHD Indiana University Bloomington

Norman Danner

I have two main research interests.  One is formalisms for implicit computational complexity, and my main research program (with J. Royer of Syracuse University) is the investigation of practical programming languages with type-theoretic guarantees of resource usage.  The other is the automated extraction of cost information from program source code.

Academic Affiliations

Office Hours

Please e-mail me for current information.  Office hours are posted on course websites.


Fall 2024
COMP 324 - 01
Program Analysis