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

COMP112 - 03
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

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
Computer Science II

COMP260 - 01
Topics in Computer Science

COMP360 - 02
Topics in Computer Science

COMP212 - 01
Computer Science II

COMP356 - 01
Computer Graphics

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

COMP231 - 01
Computer Structure & Organiz.

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

Scholarly Keywords:
Analysis of algorithms

BS Brown University
PHD Carnegie Mellon University

COMP360 - 01
Topics in Computer Science

COMP211 - 01
Computer Science I

COMP321 - 01
Design of Programming Language

COMP112 - 01
Introduction to Programming

COMP112 - 02
Introduction to Programming

COMP112 - 01
Introduction to Programming

COMP112 - 02
Introduction to Programming