Norman Danner
Associate Professor of Computer Science
Exley Science Center, 629860-685-2185
Vice-Chair, Mathematics and Computer Science
Exley Science Center, 629BA 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 2020:
- COMP 323: Tu 1:20-2:40, We 2:50-4:10
- COMP 360E: Mo 2:50-4:10, Th 10:20-11:40
Courses
Fall 2021
COMP 212 - 01
Computer Science II
COMP 323 - 01
Programming Language Implement