معرفی
Nobuko Yoshida is an Honorary Senior Research Fellow at Imperial College London's School of Computing Science. Her research specializes in theoretical computer science with focus areas including formal methods for distributed systems, session types, and process calculi. She investigates computational complexity and verification techniques for concurrent systems.
Recent publications demonstrate expertise in:
- Formal modeling of concurrent processes
- Reversible computation frameworks
- Causal relationships in distributed algorithms
- Type systems for communication protocols
۰مقاله منتشرشده
