Research at Convergent Machines Lab

Oxford leads research into the theory underlying computing in areas including state, observability, and convergence. The work involves investigation, formalization, and the development of new formal models, with findings and papers shared openly as the research develops.