Research & Publications

Takanori Ugai

Researcher at Fujitsu, with interests in formal specification, software processes, and parallel and distributed programming.