Faculty

Associate Professor of Computer Science
Exley Science Center 629
860-685-2185

ndanner@wesleyan.edu

BA University of California, Berkeley
PHD Indiana University Bloomington

COMP212 - 01
Data Structures

COMP321 - 01
Design of Programming Language

Personal Web Site:
http://ndanner.web.wesleyan.edu

Office Hours:
T 2:30-4:00pm (students only). By app't (students and advisees).

Research Interests:
My research interest is formalisms for implicit computational complexity. 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.

Scholarly Keywords:
Implicit computational complexity, anonymity.

Publications:
http://ndanner.web.wesleyan.edu/personal/cv/papers.html

AB Princeton University
MS Cornell University
PHD Cornell University

COMP312 - 01
Algorithms and Complexity

COMP134 - 01
Human & Machine Inference

COMP572 - 01
Topics in Computer Science

Personal Web Site:
http://eaaron.web.wesleyan.edu

Scholarly Keywords:
Artificial intelligence, hybrid systems

BS University of Toronto
PHD Harvard University

COMP112 - 01
Introduction to Programming

COMP360 - 01
Topics in Computer Science

Personal Web Site:
http://dkrizanc.web.wesleyan.edu

Scholarly Keywords:
Analysis of algorithms

Associate Professor of Computer Science
Exley Science Center 635
860-685-2188

jlipton@wesleyan.edu

BS University of Nebraska Lincoln
MSC Cornell University
PHD Cornell University

COMP211 - 01
Computer Science I

COMP211 - 02
Computer Science I

COMP112 - 02
Introduction to Programming

COMP301 - 01
Automata Theory & Formal Lang.

Personal Web Site:
jlipton.web.wesleyan.edu

Office Hours:
Tue. 1:30-3:00

Scholarly Keywords:
Logic and computation, logic programming

BS Western Michigan University
MS Western Michigan University
PHD Wesleyan University

COMP112 - 01
Introduction to Programming

COMP231 - 01
Computer Structure & Organiz.

Personal Web Site:
http://mrice.web.wesleyan.edu

Office Hours:
By appointment

Scholarly Keywords:
Bioinformatics, Databases