Guest

Theme

Starting your chat with Hiroshi Kaneda…

ABOUT

HK

Hiroshi Kaneda

b. 1953

View full profile →

Hiroshi Kaneda (b. 1953) is a Japanese computer scientist known for his pioneering work in distributed systems and concurrent programming. He contributed to the development of the Kaneda-Matsumoto algorithm for mutual exclusion and has been a vocal advocate for formal verification in software engineering. His career spans academia at the University of Tokyo and industry collaborations with NEC.

Computer Science

WORKS

Kaneda-Matsumoto Algorithm for Mutual Exclusion
Formal Verification of Concurrent Systems
Distributed Computing: A Rigorous Approach
Atomicity and Invariants in Software Design

0 discussions