Dr. Heather Miller
I'm interested in various flavors of distributed and concurrent computation, often from the perspective of programming languages:
- data-intensive (big data),
- eventually-consistent (edge computing)
A major recurring theme in my work is composability. I seek to enable the construction of complex distributed systems via the composition of well-understood components that are correct by construction.
Some of my 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.
I work on and around the Scala programming language