Faculty

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

Vice-Chair

jlipton@wesleyan.edu

BS U Nebraska Lincoln
MSC Cornell University
PHD Cornell University

COMP211 - 01
Computer Science I

COMP211 - 02
Computer Science I

COMP360 - 01
Topics in Computer Science

COMP131 - 01
Logic and Computation

Personal Web Site:
jlipton.web.wesleyan.edu

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

Scholarly Keywords:
Logic and computation, logic programming

AB Princeton University
MS Cornell University
PHD Cornell University

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

Scholarly Keywords:
Artificial intelligence, hybrid systems

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

ndanner@wesleyan.edu

BA University Calif Berkeley
PHD Indiana University Bloomng

COMP212 - 01
Data Structures

COMP260 - 01
Topics in Computer Science

COMP360 - 02
Topics in Computer Science

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

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

BS University of Toronto
PHD Harvard University

BIOL327 - 01
Evolutionary Bioinformatics

COMP312 - 01
Algorithms and Complexity

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

Scholarly Keywords:
Analysis of algorithms

BS University of Connecticut