Dr. Heather Miller

Assistant Professor, Software and Societal Systems

Bio

Heather is interested in various flavors of distributed and concurrent computation, often from the perspective of programming languages:

• data-centric,
• data-intensive (big data),
• eventually-consistent (edge computing)

A major recurring theme in my work is composability. She seeks to enable the construction of complex distributed systems via the composition of well-understood components that are correct by construction.

Some of her projects include programming models and type systems to facilitate the design of new, functional distributed systems, such as distributable closures, flexible, extensible, and performant serialization, asynchronous and concurrent programming via futures and promises, and deterministic concurrent dataflow.

She works on and around the Scala programming language