Mark Hayter is a British computer scientist specializing in distributed systems, operating systems, and hardware-software co-design. He is known for his research contributions to the field of microkernels, particularly his work on the L4 microkernel family.
Hayter holds a PhD from the University of Cambridge Computer Laboratory. His doctoral work focused on the design and implementation of the L4Ka::Pistachio microkernel, a member of the L4 family. He has also been involved in the development of other L4-related systems.
Hayter's research interests broadly encompass the intersection of hardware and software, with a focus on creating efficient and reliable systems through careful design and implementation at both levels. He has published numerous peer-reviewed papers in leading computer science conferences and journals. His work has influenced the design of operating systems and distributed systems, particularly in areas requiring high performance, security, and reliability.