Wesleyan portrait of Norman  Danner

Norman Danner

Associate Professor of Computer Science

Exley Science Center, 629
860-685-2185

Vice-Chair, Mathematics and Computer Science

ndanner@wesleyan.edu

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

Spring 2018 office hours:  Mo 2:50-4:10; Tu 2:40-4:10; We 8:50-10:10; by appointment.

For CADCOM-related questions (e.g., credit transfer requests), please e-mail me to arrange an appointment.  It is also fine to come by during my office hours, but priority during office hours goes to students in my classes.

 

Courses

Fall 2018
COMP 212 - 01
Computer Science II

Spring 2019
COMP 114 - 01
How to Talk to Machines

COMP 323 - 01
Programming Language Implement