Research Projects

Declarative Systems Programming

Joseph M. Hellerstein

This project explores high-level specification and execution of distributed and parallel systems, network protocols, machine learning algorithms, and distributed security protocols.