 |
Web site contact |
Norman Danner
- Associate Professor of Computer Science
-
Mathematics and Computer Science Department
Exley Science Center 629
Phone: 860-685-2185
BA University of California, Berkeley
PHD Indiana University Bloomington
|
|
Electronic contact information
Research
| Areas: |
Implicit computational complexity, type theory, bounded arithmetic. |
| Description: |
My research interests include formalisms for implicit computational complexity and weak systems of arithmetic. My main research program (with J. Royer of Syracuse University) is the investigation of practical programming languages with type-theoretic guarantees of resource usage. I am also interested in anonymizing networks such as The Onion Router. |
| Publications: |
http://ndanner.web.wesleyan.edu/personal/cv/papers.html |
Teaching
|
|
![[Wesleyan University]](http://www.wesleyan.edu/templates/utilities/navbar_2009/logo.gif "Wesleyan University front door"){kind=logo}
