Languages, abstractions, and logics
for distributed systems such as
distributed network routers and load balancers, with
particular focus on formal proof of liveness and complexity properties.
People: Alex Bagnall, Sam Merten, Gordon Stewart
Mechanized Graph Algorithms:
In collaboration with
David Juedes: Machine-checked graph algorithms — all
independent sets, graph coloring, star bicoloring,
etc. — for use in implementation and proof of
algorithms relevant to scientific computing.
People: David Juedes, Sam Merten, Gordon