Michtom School of Computer Science

Particular research projects study topics in combinatorics, case based reasoning, computational linguistics, coding theory and data compression, connectionism and neural networks, constraint programming languages, distributed object storage systems, functional programming, logic programming, massively parallel computation, networking, robotics, type theory and constructive logic.