Naoto Sato           

SATO Naoto is a researcher at IBM Research Tokyo.
He got B.Sc, M.Sc, and D.Sci from University of Tokyo.
His research interests focus around mathematical formal logic/models
for defining and analyzing properties of computational systems.
At IBM, he has been involved in research and development projects
including one for developing term-rewriting system-based XQuery compiler
targeted at DataPower appliances and another on formal logic-based smart contract
generation.