Regular biography
Michio Honda is a Reader in the Department of Computer Science at The University of Edinburgh. His research interests include programming languages and formal methods. He can be contacted via email at michio.honda@ed.ac.uk, and his profile page is available at https://www.ed.ac.uk/Michio_Honda.html.
Scholar-generated biography
Michio Honda is an Associate Professor at the University of Edinburgh, specializing in Computer Networks, Networking, Operating Systems, and Security. His research focuses on advancing network function virtualization, multipath TCP, and secure storage systems. Honda's work includes developing innovative networking solutions such as ClickOS, FlowBlaze, and mSwitch, emphasizing low-latency networking and scalable software switches. He explores secure execution environments, such as SPEICHER and StackMap, to enhance system security. His research also addresses network performance, datacenter architectures, and the integration of non-volatile memory with network stacks. Honda's contributions span both theoretical and practical advancements in networking and operating systems.